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

As systems being developed by industry and government grow larger and more complex, the need for superior specification and verification approaches and tools becomes increasingly vital. The developer and customer must have complete confidence that the design produced is correct, and that it meets fo...

Full description

Bibliographic Details

Main Author:	Drusinsky, Doron
Format:	eBook
Language:	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. Electronic books.
Online Access:	Connect to the full text of this electronic book Table of contents only Publisher description