ISTI-CNR provides an online open-access environment for the experimentation of design, analysis and verification of UML-based system models. Great as a didactic environment, it can successfully compete in terms of friendliness and usability with the most mainstream verification frameworks.
The KandIStI/UMC Online Open-Access Verification Framework
Mazzanti F;Ferrari A;Spagnolo G O
2017
Abstract
ISTI-CNR provides an online open-access environment for the experimentation of design, analysis and verification of UML-based system models. Great as a didactic environment, it can successfully compete in terms of friendliness and usability with the most mainstream verification frameworks.File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
prod_382481-doc_133011.pdf
accesso aperto
Descrizione: The KandIStI/UMC Online Open-Access Verification Framework
Tipologia:
Versione Editoriale (PDF)
Dimensione
477.9 kB
Formato
Adobe PDF
|
477.9 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
