Cover Image

Modeling and verification using UML statecharts : a working guide to reactive system design, runtime monitoring, and execution-based model checking /

Show other versions (2)

Harness the power of UML to assure the success of your designs, without expensive and time-consuming training!

Bibliographic Details
Main Author: Drusinsky, Doron
Corporate Author: ScienceDirect (Online service)
Format: eBook
Language:English
Language Notes:English.
Published: Burlington, MA : Newnes, ©2006.
Subjects:
UML (Computer science)
Formal methods (Computer science)
Computer software > Development.
UML (Informatique)
Méthodes formelles (Informatique)
Logiciels > Développement.
Computer software > Development
Electronic books.
Biography
dissertations.
Biographies
Biographies.
Academic theses.
Thèses et écrits académiques.
Online Access:Connect to the full text of this electronic book
Description
Summary:Harness the power of UML to assure the success of your designs, without expensive and time-consuming training!
Physical Description:1 online resource (xii, 306 pages) : illustrations
Bibliography:Includes bibliographical references (pages 295-301) and index.
ISBN:9780080481470
0080481477
9780750679497
0750679492
1281052183
9781281052186
9786611052188
6611052186