This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Formal Methods in Software Product Line Engineering
February 2011 (vol. 44 no. 2)
pp. 82-85
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.
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. 2, pp. 82-85, Feb. 2011, doi:10.1109/MC.2011.47
Usage of this product signifies your acceptance of the Terms of Use.