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 |