Cover Image

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

Show other versions (2)

Harness the power of UML to assure the success of your designs, without expensive and time-consuming training!

Bibliographic Details
Main Author: Drusinsky, Doron
Corporate Author: ScienceDirect (Online service)
Format: eBook
Language:English
Language Notes: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.
Computer software > Development
Electronic books.
Biography
dissertations.
Biographies
Biographies.
Academic theses.
Thèses et écrits académiques.
Online Access:Connect to the full text of this electronic book
Table of 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.