| | |
Summary: 1st International Workshop on Formal Methods
in Software Product Line Engineering
(FMSPLE 2010)
Ina Schaefer1
, Martin Becker2
, Ralf Carbon2
, and Sven Apel3
1
Chalmers University of Technology, Gothenburg, Sweden
2
Fraunhofer IESE, Kaiserslautern, Germany
3
University of Passau, Germany
Software product line engineering (SPLE) aims at developing a family of systems
by reuse in order to reduce time to market and to increase product quality. The
correctness of the reusable development artifacts as well as the correctness of
the developed products is of crucial interest for many safety-critical or business-
critical applications. Formal methods have been successfully applied in single
system engineering over the last years in order to rigorously establish critical
system requirements. However, in SPLE, formal methods are not broadly applied
|
