Issue No. 02 - February (2011 vol. 44)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/MC.2011.47
Ina Schaefer , Braunschweig University of Technology
Reiner Hähnle , Chalmers University of Technology
Formal methods could overcome the limitations of current SPLE practice, ensuring high product quality while decreasing time to market.
Software product line engineering, Formal methods
I. Schaefer and R. Hähnle, "Formal Methods in Software Product Line Engineering," in Computer, vol. 44, no. , pp. 82-85, 2011.