A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
Automated Reasoning on Feature Models
[chapter]
2013
Seminal Contributions to Information Systems Engineering
Software Product Line (SPL) Engineering has proved to be an effective method for software production. However, in the SPL community it is well recognized that variability in SPLs is increasing by the thousands. Hence, an automatic support is needed to deal with variability in SPL. Most of the current proposals for automatic reasoning on SPL are not devised to cope with extrafunctional features. In this paper we introduce a proposal to model and reason on an SPL using constraint programming. We
doi:10.1007/978-3-642-36926-1_29
fatcat:gz3kgcuyvrgezexe5flwoc344q