Formal methods and analysis in software product line engineering: 4th edition of FMSPLE workshop series
Contributo in Atti di convegno
Data di Pubblicazione:
2013
Abstract:
FMSPLE 2013 is the fourth edition of the FMSPLE workshop series aimed at connecting researchers and practitioners interested in raising the efficiency and the effectiveness of software product line engineering 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; Semantics; Evolution; D.2.2 Design Tools and Techniques; D.2.4 Software/Program Verification. Formal methods; D.2.4 Software/Program Ver; D.2.4 Software/Program Verification. Model checking; D.2.13 Reusable Software; D.2.11 Software Architectures; D.2.5 Testing and Debugging
Elenco autori:
TER BEEK, MAURICE HENRI
Link alla scheda completa: