Modeling and verification using UML statecharts: a working guide to reactive system design, runtime monitoring, and execution-based model checking
Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Drusinsky, Doron (VerfasserIn)
Format: Elektronisch E-Book
Sprache:English
Veröffentlicht: Burlington, MA Newnes c2006
Schlagworte:
Online-Zugang:FAW01
FAW02
Volltext
Beschreibung:Includes bibliographical references (p. 295-301) and index
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
Harness the power of UML to assure the success of your designs, without expensive and time-consuming training!
Beschreibung:1 Online-Ressource (xii, 306 p.)
ISBN:0080481477
9780080481470

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand! Volltext öffnen