PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Mazzanti F. Designing UML models with UMC. Guida al disegno di modelli UML per il tools UMC v3.6. Technical report, 2009.
 
 
Abstract
(English)
The paper is an user guide for the design of model specifications in the language accepted by the UMC tool.
Abstract
(Italiano)
Questo report e' una Guida Utente per il disegno di specifiche di modelli verificabili tramite il tool UMC.
URL: http://fmt.isti.cnr.it/umc/UMCDISTR/Docs/Designing-UML-Models-with-UMC.pdf
Subject UMC model checking verification
D.2.2 Design Tools and Techniques
68N30


Icona documento 1) Download Document PDF


Icona documento Open access Icona documento Restricted Icona documento Private

 


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional