Symbolic Boolean manipulation with ordered binary-decision diagrams
ACM Computing Surveys (CSUR)
ICSR-7 Proceedings of the 7th International Conference on Software Reuse: Methods, Techniques, and Tools
Using First-Order Logic for Product Line Model Validation
SPLC 2 Proceedings of the Second International Conference on Software Product Lines
Widening the Scope of Software Product Lines - From Variation to Composition
SPLC 2 Proceedings of the Second International Conference on Software Product Lines
ECOOP '01 Proceedings of the 15th European Conference on Object-Oriented Programming
Proceedings of the 25th International Conference on Software Engineering
On the Notion of Variability in Software Product Lines
WICSA '01 Proceedings of the Working IEEE/IFIP Conference on Software Architecture
Equational binary decision diagrams
Equational binary decision diagrams
Automated analysis of feature models: challenges ahead
Communications of the ACM - Software product line
Automated reasoning on feature models
CAiSE'05 Proceedings of the 17th international conference on Advanced Information Systems Engineering
Mapping features to models: a template approach based on superimposed variants
GPCE'05 Proceedings of the 4th international conference on Generative Programming and Component Engineering
Mapping problem-space to solution-space features: a feature interaction approach
GPCE '09 Proceedings of the eighth international conference on Generative programming and component engineering
Automated analysis of feature models 20 years later: A literature review
Information Systems
Formal approach to integrating feature and architecture models
FASE'08/ETAPS'08 Proceedings of the Theory and practice of software, 11th international conference on Fundamental approaches to software engineering
Feature-based composition of software architectures
ECSA'10 Proceedings of the 4th European conference on Software architecture
Automated metamorphic testing on the analyses of feature models
Information and Software Technology
Validation of families of business processes
CAiSE'11 Proceedings of the 23rd international conference on Advanced information systems engineering
Modeling and validation of business process families
Information Systems
Hi-index | 0.00 |
Bridging problem domain and solution in product line engineering is a time-consuming and error-prone process. Since both domains are structured differently (features vs. artifacts), there is no natural way to map one to the other. Using an explicit and formal mapping creates opportunities for consistency checking and automation. This way both the configuration and the composition of product instances can be more robust, support more product variants and be performed more often.