FMSPLE 2016 - 7th International Workshop on Formal Methods and Analysis in Software Product Line Engineering

Software product line engineering (SPLE) aims to develop a family of systems via systematic, large-scale reuse in order to reduce time-to-market and costs and to increase product quality. Formal methods and analyses offer promising techniques towards realizing these goals. While some analysis approaches (e.g., for feature modeling and variant configuration management) and formal methods (e.g., SMT/SAT solvers, model checkers, and formal semantics of variability models) have been applied to SPLE, a considerable potential remains to be exploited. The FMSPLE workshop series has proven to be an effective forum for discussing the adaptation of existing formal techniques and the development of new techniques, and their efficient and effective application to families of (highly configurable) systems.
Organizers: Maurice ter Beek, Ina Schaefer