FMSPLE 2012 - Third International Workshop on Formal Methods and Analysis in Software Product Line Engineering (FMSPLE)

Software product line engineering (SPLE) aims at developing a family of systems via systematic, large-scale reuse in order to reduce time to market and costs and to increase product quality. In order to achieve these goals, formal methods and analysis are promising approaches, which are best applied throughout the product line lifecycle in order to maximize their overall efficiency and effectiveness. While some analysis approaches (e.g., for feature modeling, variant management) and formal methods (e.g., BDDs, CSPs, SAT solvers, model checkers or formal semantics of variability models) have already been applied to SPLE, a considerable potential still appears to be unexploited. Despite the initial works mentioned above, the respective communities (SPLE, analysis and formal methods) have only been loosely connected. This workshop will bring together researchers interested in raising the efficiency and effectiveness of SPLE by applying innovative analysis approaches and formal methods.