The Community for Technology Leaders
Green Image
Issue No. 02 - February (2011 vol. 44)
ISSN: 0018-9162
pp: 82-85
Ina Schaefer , Braunschweig University of Technology
Reiner Hähnle , Chalmers University of Technology
ABSTRACT
Formal methods could overcome the limitations of current SPLE practice, ensuring high product quality while decreasing time to market.
INDEX TERMS
Software product line engineering, Formal methods
CITATION
Ina Schaefer, Reiner Hähnle, "Formal Methods in Software Product Line Engineering", Computer, vol. 44, no. , pp. 82-85, February 2011, doi:10.1109/MC.2011.47
107 ms
(Ver )