Researchers from the Software Engineering and Architecture group, University of L'Aquila, together with the Formal Methods and Tools group of ISTI-CNR are developing a novel approach that extends and adapts assume-guarantee reasoning to evolving SPLs in order to guarantee resilience against changes in the product environment. The proposal is to selectively verify and test assume-guarantee properties over only the components affected by the changes.
Guaranteeing correct evolution of software product lines
Ter Beek MH;
2012
Abstract
Researchers from the Software Engineering and Architecture group, University of L'Aquila, together with the Formal Methods and Tools group of ISTI-CNR are developing a novel approach that extends and adapts assume-guarantee reasoning to evolving SPLs in order to guarantee resilience against changes in the product environment. The proposal is to selectively verify and test assume-guarantee properties over only the components affected by the changes.File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
prod_276309-doc_77926.pdf
accesso aperto
Descrizione: Guaranteeing correct evolution of software product Lines
Tipologia:
Versione Editoriale (PDF)
Dimensione
663.82 kB
Formato
Adobe PDF
|
663.82 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
