Midlands State University Library

Modeling and analysis of real-time and embedded systems with UML and MARTE : (Record no. 155126)

MARC details
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
Holdings
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