The workshop aims at reviewing the state of the art and the state of the practice in which formal methods and analysis approaches are currently applied in SPLE. This leads to a discussion of a research agenda for the extension of existing formal approaches and the development of new formal techniques for dealing with the particular needs of SPLE. To achieve the above objectives, the workshop is intended as a highly interactive event fostering discussion and initiating collaborations between the participants from both communities.
Proceedings FMSPLE 2015
Gnesi S;
2015
Abstract
The workshop aims at reviewing the state of the art and the state of the practice in which formal methods and analysis approaches are currently applied in SPLE. This leads to a discussion of a research agenda for the extension of existing formal approaches and the development of new formal techniques for dealing with the particular needs of SPLE. To achieve the above objectives, the workshop is intended as a highly interactive event fostering discussion and initiating collaborations between the participants from both communities.File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
prod_345022-doc_108166.pdf
accesso aperto
Descrizione: Proceedings FMSPLE 2015
Tipologia:
Versione Editoriale (PDF)
Dimensione
21.95 kB
Formato
Adobe PDF
|
21.95 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
