Formal methods and analysis in software product line engineering. 3rd edition of FMSPLE workshop series
Contributo in Atti di convegno
Data di Pubblicazione:
2012
Abstract:
FMSPLE 2012 is the third edition of the FMSPLE workshop series, traditionally affiliated with SPLC, which aims to connect researchers and practitioners interested in raising the efficiency and the effectiveness of SPLE through the application of innovative analysis approaches and formal methods.
Tipologia CRIS:
04.01 Contributo in Atti di convegno
Keywords:
Formal methods; Software Product Lines; Variability; Verification; Testing
Elenco autori:
TER BEEK, MAURICE HENRI
Link alla scheda completa:
Titolo del libro:
Proceeding SPLC '12 Proceedings of the 16th International Software Product Line Conference - Volume 1