Formal methods and analysis in software product line engineering: 3rd edition of FMSPLE workshop series

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.

DOI: 10.1145/2362536.2362576

Extracted Key Phrases

Cite this paper

@inproceedings{Beek2012FormalMA, title={Formal methods and analysis in software product line engineering: 3rd edition of FMSPLE workshop series}, author={Maurice H. ter Beek and Martin Becker and Andreas Classen and Fabricia Roos-Frantz and Ina Schaefer and Peter Y. H. Wong}, booktitle={SPLC}, year={2012} }