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:Inglés
Published: Burlington, MA : Newnes c2006.
Edition:1st edition
Subjects:
See on Biblioteca Universitat Ramon Llull:https://discovery.url.edu/permalink/34CSUC_URL/1im36ta/alma991009627251406719
Description
Summary: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 forma development and verification standards. In this text, UML expert author Dr. Doron Drusinsky compiles all the latest information on the application of UML (Universal Modeling Language) statecharts, temporal logic, automata, and other advanced tools for run-time monitoring and verification. This i
Item Description:Description based upon print version of record.
Physical Description:1 online resource (321 p.)
Bibliography:Includes bibliographical references (p. 295-301) and index.
ISBN:9781281052186
9786611052188
9780080481470