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
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. , pp. 82-85, February 2011, doi:10.1109/MC.2011.47
91 ms
(Ver 3.3 (11022016))