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 : Elsevier, 2006.
Temas:
UML (Computer science)
Formal methods (Computer science)
Computer software > Development.
UML (Informatique)
Méthodes formelles (Informatique)
Computer software > Development
Acceso en línea:Texto completo
Descripción
Sumario:Harness the power of UML to assure the success of your designs, without expensive and time-consuming training!
Descripción Física:1 online resource (321 pages)
ISBN:9780080481470
0080481477
9780750679497
0750679492

Ejemplares similares