عنوان
پدید آورنده
موضوع
رده
QA76.76.D47 D78 2006eb
QA76
.
76
.
D47
D78
2006eb
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
0080481477
(Number (ISBN
0750679492
(Number (ISBN
1281052183
(Number (ISBN
6611052186
(Number (ISBN
9780080481470
(Number (ISBN
9780750679497
(Number (ISBN
9781281052186
(Number (ISBN
9786611052188
NATIONAL BIBLIOGRAPHY NUMBER
Number
b743129
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Modeling and verification using UML statecharts :
General Material Designation
[Book]
Other Title Information
a working guide to reactive system design, runtime monitoring, and execution-based model checking /
First Statement of Responsibility
Doron Drusinsky.
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Burlington, MA :
Name of Publisher, Distributor, etc.
Newnes,
Date of Publication, Distribution, etc.
©2006.
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
1 online resource (xii, 306 pages) :
Other Physical Details
illustrations
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Includes bibliographical references (pages 295-301) and index.
CONTENTS NOTE
Text of Note
Formal requirements and finite automata overview -- Statecharts -- Academic specification languages for reactive systems -- Using statechart assertions for formal specification -- Creating and using temporal statechart assertions -- Application of formal specifications and runtime monitoring to the Ballistic Missile Defense Project.
0
SUMMARY OR ABSTRACT
Text of Note
Harness the power of UML to assure the success of your designs, without expensive and time-consuming training!
ACQUISITION INFORMATION NOTE
Source for Acquisition/Subscription Address
Elsevier Science & Technology
Stock Number
114415:114508
OTHER EDITION IN ANOTHER MEDIUM
Title
Modeling and verification using UML statecharts.
International Standard Book Number
9780750679497
TOPICAL NAME USED AS SUBJECT
Computer software-- Development.
Formal methods (Computer science)
UML (Computer science)
Logiciels-- Développement.
Méthodes formelles (Informatique)
UML (Informatique)
Computer software-- Development.
Formal methods (Computer science)
UML (Computer science)
DEWEY DECIMAL CLASSIFICATION
Number
005
.
1/17
Edition
22
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA76
.
76
.
D47
Book number
D78
2006eb
PERSONAL NAME - PRIMARY RESPONSIBILITY
Drusinsky, Doron.
ORIGINATING SOURCE
Date of Transaction
20201204034136.0
Cataloguing Rules (Descriptive Conventions))
pn
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب [Book]
Y
