Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
1st International Workshop on Formal Methods in Software Product Line Engineering
 

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

  

Source: Apel, Sven - Fakultät für Informatik und Mathematik, Universität Passau

 

Collections: Computer Technologies and Information Sciences