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

Mostrar otras versiones (3)

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

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Drusinsky, Doron
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Burlington, MA : Newnes, �2006.
Temas:
UML (Computer science)
Formal methods (Computer science)
Computer software > Development.
UML (Informatique)
M�ethodes formelles (Informatique)
Logiciels > D�eveloppement.
Biography
Biographies.
Acceso en línea:Texto completo
Tabla de Contenidos:
  • 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.

Ejemplares similares