Issue No.02 - February (2011 vol.44)
Ina Schaefer , Braunschweig University of Technology
Reiner Hähnle , Chalmers University of Technology
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/MC.2011.47
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
Ina Schaefer, Reiner Hähnle, "Formal Methods in Software Product Line Engineering", Computer, vol.44, no. 2, pp. 82-85, February 2011, doi:10.1109/MC.2011.47