Analysis of Feature Models Using Alloy: A Survey


Feature Models (FMs) are a mechanism to model variability among a family of closely related software products, i.e. a software product line (SPL). Analysis of FMs using formal methods can reveal defects in the specification such as inconsistencies that cause the product line to have no valid products. A popular framework used in research for FM analysis is… (More)
DOI: 10.4204/EPTCS.206.5


10 Figures and Tables