FMSPLE 2011 - 2nd International Workshop on Formal Methods and Analysis in Software Product Line Engineering

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. The two long-term objectives are as follows:
http://www.iese.fraunhofer.de/de/veranstaltungen_m...
To raise awareness and create a common understanding of challenges, constraints, and approaches in the different communities, and
To create a broader community interested in formal methods and analysis approaches in order to keep SPLE tools and research up-to-date with the latest technologies.