Modeling and Verification Using UML Statecharts : a Working Guide to Reactive System Design, Runtime Monitoring and Execution-based Model Checking.

Afficher d'autres versions (3)

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

Détails bibliographiques
Cote:Libro Electrónico
Auteur principal: Drusinsky, Doron
Format: Électronique eBook
Langue:Inglés
Publié: Burlington : Elsevier, 2006.
Sujets:
UML (Computer science)
Formal methods (Computer science)
Computer software > Development.
UML (Informatique)
Méthodes formelles (Informatique)
Computer software > Development
Accès en ligne:Texto completo
Search Result 1
Modeling and verification using UML statecharts : a working guide to reactive system design, runtime monitoring, and execution-based model checking /
par Drusinsky, Doron
Publié 2006
Texto completo
Texto completo
Électronique eBook
Search Result 2
Modeling and verification using UML statecharts : a working guide to reactive system design, runtime monitoring, and execution-based model checking /
par Drusinsky, Doron
Publié 2006
Texto completo (Requiere registro previo con correo institucional)
Électronique eBook
Search Result 3
Modeling and verification using UML statecharts : a working guide to reactive system design, runtime monitoring, and execution-based model checking /
par Drusinsky, Doron
Publié 2006
Texto completo
Électronique eBook
Afficher toutes les versions (4)

Documents similaires