The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.02 - February (2011 vol.44)
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. 2, pp. 82-85, February 2011, doi:10.1109/MC.2011.47
17 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool