Title :
Formal Methods in Software Product Line Engineering
Author :
Schaefer, Ina ; Hähnle, Reiner
Author_Institution :
Braunschweig Univ. of Technol., Braunschweig, Germany
Abstract :
Formal methods could overcome the limitations of current SPLE practice, ensuring high product quality while decreasing time to market.
Keywords :
formal specification; product development; formal methods; product quality; software product line engineering; Product design; Product development; Quality assessment; Software engineering; Formal methods; Software product line engineering;
