The Community for Technology Leaders
Software Product Line Conference, International (2008)
Sept. 8, 2008 to Sept. 12, 2008
ISBN: 978-0-7695-3303-2
pp: 385
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.
INDEX TERMS
null
CITATION
David Benavides, Antonio Ruiz-Cort?, Don Batory, Patrick Heymans, "First International Workshop on Analysis of Software Product Lines (ASPL?08)", Software Product Line Conference, International, vol. 00, no. , pp. 385, 2008, doi:10.1109/SPLC.2008.73
85 ms
(Ver 3.3 (11022016))