RT Journal Article
JF Software Product Line Conference, International
YR 2008
VO 00
IS
SP 385
TI First International Workshop on Analysis of Software Product Lines (ASPL?08)
A1 David Benavides,
A1 Antonio Ruiz-Cort?,
A1 Don Batory,
A1 Patrick Heymans,
K1 null
AB 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.
PB IEEE Computer Society, [URL:http://www.computer.org]
SN
LA English
DO 10.1109/SPLC.2008.73
LK http://doi.ieeecomputersociety.org/10.1109/SPLC.2008.73