Efficient implementation of a BDD package
DAC '90 Proceedings of the 27th ACM/IEEE Design Automation Conference
N degrees of separation: multi-dimensional separation of concerns
Proceedings of the 21st international conference on Software engineering
FORM: A feature-oriented reuse method with domain-specific reference architectures
Annals of Software Engineering
ICSE '81 Proceedings of the 5th international conference on Software engineering
Refinements and multi-dimensional separation of concerns
Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering
Software Product Line Engineering: Foundations, Principles and Techniques
Software Product Line Engineering: Foundations, Principles and Techniques
Proceedings of the 5th international conference on Generative programming and component engineering
Generic semantics of feature diagrams
Computer Networks: The International Journal of Computer and Telecommunications Networking
Multi-level feature trees: A pragmatic approach to managing highly complex product families
Requirements Engineering
Feature Diagrams and Logics: There and Back Again
SPLC '07 Proceedings of the 11th International Software Product Line Conference
Model Construction with External Constraints: An Interactive Journey from Semantics to Syntax
MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems
SPLC '08 Proceedings of the 2008 12th International Software Product Line Conference
Efficient compilation techniques for large scale feature models
GPCE '08 Proceedings of the 7th international conference on Generative programming and component engineering
Reasoning about edits to feature models
ICSE '09 Proceedings of the 31st International Conference on Software 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
Supplier independent feature modelling
Proceedings of the 13th International Software Product Line Conference
Relating requirements and feature configurations: a systematic approach
Proceedings of the 13th International Software Product Line Conference
SAT-based analysis of feature models is easy
Proceedings of the 13th International Software Product Line Conference
Automated analysis of feature models 20 years later: A literature review
Information Systems
Structuring the modeling space and supporting evolution in software product line engineering
Journal of Systems and Software
Multi-dimensional variability modeling
Proceedings of the 5th Workshop on Variability Modeling of Software-Intensive Systems
Reverse engineering feature models
Proceedings of the 33rd International Conference on Software Engineering
Modeling Variability from Requirements to Runtime
ICECCS '11 Proceedings of the 2011 16th IEEE International Conference on Engineering of Complex Computer Systems
Reverse engineering architectural feature models
ECSA'11 Proceedings of the 5th European conference on Software architecture
Abstract Features in Feature Modeling
SPLC '11 Proceedings of the 2011 15th International Software Product Line Conference
Comparing approaches to implement feature model composition
ECMFA'10 Proceedings of the 6th European conference on Modelling Foundations and Applications
ASE '11 Proceedings of the 2011 26th IEEE/ACM International Conference on Automated Software Engineering
Composing multiple variability artifacts to assemble coherent workflows
Software Quality Control
Dynamic configuration management of cloud-based applications
Proceedings of the 16th International Software Product Line Conference - Volume 2
Multi-perspectives on feature models
MODELS'12 Proceedings of the 15th international conference on Model Driven Engineering Languages and Systems
Support for reverse engineering and maintaining feature models
Proceedings of the Seventh International Workshop on Variability Modelling of Software-intensive Systems
Model-driven composition of multiple software product lines
Proceedings of the 2nd International Master Class on Model-Driven Engineering: Modeling Wizards
FAMILIAR: A domain-specific language for large scale management of feature models
Science of Computer Programming
Using composite feature models to support agile software product line evolution
Proceedings of the 6th International Workshop on Models and Evolution
| Hi-index | 0.00 |
Feature models (FMs) are a popular formalism for describing the commonality and variability of software product lines (SPLs) in terms of features. SPL development increasingly involves manipulating many large FMs, and thus scalable modular techniques that support compositional development of complex SPLs are required. In this paper, we describe how a set of complementary operators (aggregate, merge, slice) provides practical support for separation of concerns in feature modeling. We show how the combination of these operators can assist in tedious and error prone tasks such as automated correction of FM anomalies, update and extraction of FM views, reconciliation of FMs and reasoning about properties of FMs. For each task, we report on practical applications in different domains. We also present a technique that can efficiently decompose FMs with thousands of features and report our experimental results.