Title Modeling and verification using UML statecharts : a working guide to reactive system design, runtime monitoring, and execution-based model checking / Doron Drusinsky. [O'Reilly electronic resource]

Imprint

To Access:
Available on O'Reilly for Public Libraries

Bookmark link: https://library.naperville-lib.org:444/record=b3148661~S1

QR Code

Description	1 online resource (xii, 306 pages) : illustrations
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.
Summary	Harness the power of UML to assure the success of your designs, without expensive and time-consuming training!
Language	English.
Subject	UML (Computer science)
	Formal methods (Computer science)
	Computer software -- Development.
	UML (Informatique)
	Méthodes formelles (Informatique)
	Logiciels -- Développement.
	Computer software -- Development
	Formal methods (Computer science)
	UML (Computer science)
Genre	Biography
	Biographies
	Biographies.
	Biographies.
Other Form:	Print version: Drusinsky, Doron. Modeling and verification using UML statecharts. Burlington, MA : Newnes, ©2006 0750679492 9780750679497 (DLC) 2006005265 (OCoLC)64065948
ISBN	9780080481470 (electronic bk.)
	0080481477 (electronic bk.)
	9780750679497
	0750679492
	1281052183
	9781281052186
	9786611052188
	6611052186

Patron reviews: add a review

You can...

Also...

More Information

Copies