Researchers from the Formal Methods and Tools group of ISTI-CNR have developed a tool for the computer-aided verification of behavioural variability in product families.
VMC: a tool for the analysis of variability in software product lines
Ter Beek M H;Gnesi S;Mazzanti F
2013
Abstract
Researchers from the Formal Methods and Tools group of ISTI-CNR have developed a tool for the computer-aided verification of behavioural variability in product families.File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
prod_277189-doc_78084.pdf
solo utenti autorizzati
Descrizione: VMC: A Tool for the Analysis of Variability in Software Product Lines
Tipologia:
Versione Editoriale (PDF)
Dimensione
271.65 kB
Formato
Adobe PDF
|
271.65 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
