First International Workshop on Analysis of Software Product Lines (ASPL'08)

Authors:
David Benavides;Antonio Ruiz-Cortés;Don Batory;Patrick Heymans
Affiliations:
-;-;-;-
Venue:
SPLC '08 Proceedings of the 2008 12th International Software Product Line Conference
Year:
2008

Citing 0
Cited 4

Automated analysis of feature models 20 years later: A literature review

Information Systems
A genetic algorithm for optimized feature selection with resource constraints in software product lines

Journal of Systems and Software
Formal methods and analysis in software product line engineering: 3rd edition of FMSPLE workshop series

Proceedings of the 16th International Software Product Line Conference - Volume 1
Towards detecting redundancy in domain engineering process using first order logic rules

International Journal of Knowledge Engineering and Soft Data Paradigms

Quantified Score

Hi-index	0.00

Visualization

Abstract

The automation of software product line (SPL) analyses is of growing interest to both practitioners and researchers. In particular, automated analyses of variability models (like feature or decision models) and languages that foster declarative specifications of programs using those models are now common. We note that many of the problems that SPL engineers face are related to configuration problems that have been addressed by the Artificial Intelligence (AI) community. Indeed, the SPL community is using some of their results, e.g., BDD, CSP and SAT solvers.