Our Sponsors
FMSPLE 2011 - 2nd International Workshop on Formal Methods and Analysis in Software Product Line Engineering
View: 612
Category FMSPLE 2011
Deadline: May 14, 2011 | Date: August 26, 2011
Venue/Country: Munich, Germany
Updated: 2011-04-12 21:10:44 (GMT+9)
Call For Papers - CFP
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_messen/fmsple/
To raise awareness and create a common understanding of challenges, constraints, and approaches in the different communities, andTo 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.Keywords: Accepted papers list. Acceptance Rate. EI Compendex. Engineering Index. ISTP index. ISI index. Impact Factor.
Disclaimer: ourGlocal is an open academical resource system, which anyone can edit or update. Usually, journal information updated by us, journal managers or others. So the information is old or wrong now. Specially, impact factor is changing every year. Even it was correct when updated, it may have been changed now. So please go to Thomson Reuters to confirm latest value about Journal impact factor.