Cover Image
QR Code

Formal Methods in Software Product Line Engineering.

Formal methods could overcome the limitations of current SPLE practice, ensuring high product quality while decreasing time to market.

Published in:Computer (00189162) Vol. 44; no. 2; p. 82
Main Authors: Schaefer, Ina, Hähnle, Reiner
Format: Article
Published: IEEE 02/01/2011
Subjects:
Software product line engineering
Computer engineering
Software engineering
Computer software development
Product quality
Online Access:View this record in EBSCOhost
Summary:Formal methods could overcome the limitations of current SPLE practice, ensuring high product quality while decreasing time to market.