Abstract :
The following topics are dealt with: feature models; verification and practice; empirical product line discovery; variability management extension; DSL; code generation; product line maintenance; formal modelling; formal verification; product line quality; service-oriented product lines; and model-based development.
Keywords :
software engineering; DSL; code generation; empirical product line discovery; feature models; formal modelling; formal verification; model-based development; product line maintenance; product line quality; service-oriented product lines; variability management extension;
Conference_Titel :
Software Product Line Conference, 2008. SPLC '08. 12th International
Conference_Location :
Limerick
Print_ISBN :
978-0-7695-3303-2
DOI :
10.1109/SPLC.2008.1
