Formal modelling of feature configuration workflows
Proceedings of the 13th International Software Product Line Conference
Deriving configuration interfaces from feature models: a vision paper
Proceedings of the Sixth International Workshop on Variability Modeling of Software-Intensive Systems
| Hi-index | 0.00 |
In Software product line engineering (SPLE), feature diagrams (FDs) capture commonality and variability in terms of features and their relationships. The interactive process during which features are selected and excluded is called feature-based configuration. the resulting set of selected features is a high-level specification of the desired product. To facilitate the configuration of large and complex FDs, tools relying on efficient solvers (e.g. SAT, BDD and CSP) were developed.