Drusinsky, Doron. <br/><br/>
Modeling and verification using UML statecharts :  a working guide to reactive system design, runtime monitoring, and execution-based model checking / 
Doron Drusinsky. 
 - Burlington, MA :  Newnes,  ©2006. 
 - 1 online resource (xii, 306 pages) :  illustrations 
<br/><br/>Includes bibliographical references (pages 295-301) and index. 
<br/><br/>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. 
<br/><br/> Harness the power of UML to assure the success of your designs, without expensive and time-consuming training! 
<br/><br/><label>ISBN: </label>9780080481470 0080481477 9780750679497 0750679492 
<br/><br/><label>Subjects--Topical Terms: </label><br/>UML (Computer science)<br/>Formal methods (Computer science)<br/>Computer software--Development.<br/>UML (Informatique)<br/>Méthodes formelles (Informatique)<br/>Logiciels--Développement.<br/>Computer software--Development.<br/>Formal methods (Computer science)<br/>UML (Computer science)
<br/><br/><label>Index Terms--Genre/Form: </label><br/>Electronic books.
<br/><br/><label>LC Class. No.: </label>QA76.76.D47  / D78 2006eb