Modeling and verification using UML statecharts : a working guide to reactive system design, runtime monitoring, and execution-based model checking / Doron Drusinsky.
text file rdaft http://rdaregistry.info/termList/fileType/1002.
Bibliography
Includes bibliographical references (pages 295-301) and index.
Contents
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.
Note
Print version record.
Summary
Harness the power of UML to assure the success of your designs, without expensive and time-consuming training!
