Generative programming: methods, tools, and applications
Generative programming: methods, tools, and applications
Variability management with feature models
Science of Computer Programming - Special issue: Software variability management
FeaturePlugin: feature modeling plug-in for Eclipse
eclipse '04 Proceedings of the 2004 OOPSLA workshop on eclipse technology eXchange
Software Product Line Engineering: Foundations, Principles and Techniques
Software Product Line Engineering: Foundations, Principles and Techniques
Verifying feature-based model templates against well-formedness OCL constraints
Proceedings of the 5th international conference on Generative programming and component engineering
Communications of the ACM - Software product line
EMF: Eclipse Modeling Framework 2.0
EMF: Eclipse Modeling Framework 2.0
Verifying feature models using OWL
Web Semantics: Science, Services and Agents on the World Wide Web
Safe composition of product lines
GPCE '07 Proceedings of the 6th international conference on Generative programming and component engineering
FeatureMapper: mapping features to models
Companion of the 30th international conference on Software engineering
Adding Standardized Variability to Domain Specific Languages
SPLC '08 Proceedings of the 2008 12th International Software Product Line Conference
Proceedings of the First International Workshop on Feature-Oriented Software Development
1st International Workshop on Feature-Oriented Software Development
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
Flexible and scalable consistency checking on product line variability models
Proceedings of the IEEE/ACM international conference on Automated software engineering
Transactions on aspect-oriented software development VII
Transactions on aspect-oriented software development VII
Row types for delta-oriented programming
Proceedings of the Sixth International Workshop on Variability Modeling of Software-Intensive Systems
Using regression testing to analyze the impact of changes to variability models on products
Proceedings of the 16th International Software Product Line Conference - Volume 1
FOSD '12 Proceedings of the 4th International Workshop on Feature-Oriented Software Development
Conflict detection in delta-oriented programming
ISoLA'12 Proceedings of the 5th international conference on Leveraging Applications of Formal Methods, Verification and Validation: technologies for mastering change - Volume Part I
| Hi-index | 0.00 |
Variability modelling with feature models is one key technique for specifying the problem space of software product lines (SPLs). To allow for the automatic derivation of a concrete product based on a given variant configuration, a mapping between features in the problem space and their realisations in the solution space is required. Ensuring the correctness of all participating models of an SPL (i.e., feature models, mapping models, and solution-space models) is a crucial task to create correct products of an SPL. In this paper we discuss different possibilities for checking well-formedness of SPLs and relate them to their implementation in the FeatureMapper SPL tool.