Modeling and analysis of real-time and embedded systems with UML and MARTE : (Record no. 155126)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 02104nam a22003257a 4500 |
| 003 - CONTROL NUMBER IDENTIFIER | |
| control field | ZW-GwMSU |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20201002112144.0 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 201002b ||||| |||| 00| 0 eng d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 9780124166196 (pbk.) |
| 040 ## - CATALOGING SOURCE | |
| Language of cataloging | English |
| Transcribing agency | MSU |
| Description conventions | rda |
| 041 ## - | |
| -- | eng |
| 050 00 - LIBRARY OF CONGRESS CALL NUMBER | |
| Classification number | TK7895.E42 |
| 100 1# - MAIN ENTRY--PERSONAL NAME | |
| Personal name | Selic, Bran |
| Relator term | author |
| 245 10 - TITLE STATEMENT | |
| Title | Modeling and analysis of real-time and embedded systems with UML and MARTE : |
| Remainder of title | developing cyber-physical systems |
| Statement of responsibility, etc | created by Bran Selić and Sébastien Gérard |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) | |
| Place of publication, distribution, etc | Amsterdam |
| Name of publisher, distributor, etc | Elsevier |
| Date of publication, distribution, etc | 2014 |
| 300 ## - PHYSICAL DESCRIPTION | |
| Extent | 287 pages |
| Other physical details | ill. |
| Dimensions | 24 cm |
| 336 ## - CONTENT TYPE | |
| content type term | text |
| Source | rdacontent |
| 337 ## - MEDIA TYPE | |
| media type term | unmediated |
| source | rdamedia |
| media type code | n |
| 338 ## - CARRIER TYPE | |
| carrier type term | volume |
| source | rdacarrier |
| carrier type code | nc |
| 504 ## - BIBLIOGRAPHY, ETC. NOTE | |
| Bibliography, etc | Includes bibliographical references and index |
| 505 ## - FORMATTED CONTENTS NOTE | |
| Formatted contents note | Preface I: Introduction 1: An Overview of MARTE II: Foundations 2: An Introduction to the UML Profile Mechanism 3: Specifying System Qualities (Non-Functional Properties) 4: Modeling Time and Resources III: Modeling Real-Time Software Systems with MARTE 5: Basic Application Modeling 6: Platform Modeling 7: Specifying Deployment 8: Combining MARTE and SysML 9: Modeling Component Based Systems 10: Combining MARTE and SysML IV: System analysis using MARTE 11: Foundations of System Analysis 12: Performance Analysis 13: Schedulability Analysis V: Extending MARTE 14: Extending MARTE APPENDICES A. The Value Specification Language B. The MARTE NFP Library Reference C. MARTE tools |
| 520 ## - SUMMARY, ETC. | |
| Summary, etc | Explains how to apply the complex MARTE standard in practical situations. This guide illustrates with numerous examples how you can use MARTE to design and develop real-time and embedded systems and software |
| 630 00 - SUBJECT ADDED ENTRY--UNIFORM TITLE | |
| Uniform title | UML (Computer science) |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Embedded computer systems |
| General subdivision | Computer simulation |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | UML (Computer science) |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Computer architecture. Operating systems |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Gérard, Sébastien |
| Relator term | author |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Source of classification or shelving scheme | Library of Congress Classification |
| Koha item type | Book |
| Withdrawn status | Lost status | Source of classification or shelving scheme | Damaged status | Not for loan | Home library | Current library | Shelving location | Date acquired | Source of acquisition | Cost, normal purchase price | Total Checkouts | Full call number | Barcode | Date last seen | Copy number | Price effective from | Koha item type |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Library of Congress Classification | Main Library | Main Library | Core Collection | 02/10/2020 | Book Aid International | 22.00 | TK7895.E.42 SEL | BK137867 | 02/10/2020 | 150529 | 02/10/2020 | Core Collection | |||||
| Library of Congress Classification | Main Library | Main Library | Open Shelf | 02/10/2020 | Book Aid International | 22.00 | TK7895.E.42 SEL | BK137876 | 02/10/2020 | 150528 | 02/10/2020 | Book | |||||
| Library of Congress Classification | Main Library | Main Library | Open Shelf | 02/10/2020 | Book Aid International | 22.00 | TK7895.E.42 SEL | BK137858 | 02/10/2020 | 150527 | 02/10/2020 | Book | |||||
| Library of Congress Classification | Main Library | Main Library | Open Shelf | 02/10/2020 | Book Aid International | 22.00 | TK7895.E.42 SEL | BK137855 | 02/10/2020 | 150526 | 02/10/2020 | Book | |||||
| Library of Congress Classification | Main Library | Main Library | Core Collection | 02/10/2020 | Book Aid International | 22.00 | TK7895.E.42 SEL | BK137831 | 02/10/2020 | 150525 | 02/10/2020 | Core Collection |