Design and use of software architectures: adopting and evolving a product-line approach
Design and use of software architectures: adopting and evolving a product-line approach
Generative programming: methods, tools, and applications
Generative programming: methods, tools, and applications
Constraints
Constraints-driven scheduling and resource assignment
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Handling variant requirements in domain modeling
Journal of Systems and Software - Special issue: Best papers on Software Engineering from the SEKE'01 Conference
IEEE Transactions on Software Engineering
Automated reasoning on feature models
CAiSE'05 Proceedings of the 17th international conference on Advanced Information Systems Engineering
Feature models, grammars, and propositional formulas
SPLC'05 Proceedings of the 9th international conference on Software Product Lines
Supporting production strategies as refinements of the production process
SPLC'05 Proceedings of the 9th international conference on Software Product Lines
A tutorial on feature oriented programming and the AHEAD tool suite
GTTSE'05 Proceedings of the 2005 international conference on Generative and Transformational Techniques in Software Engineering
Automated analysis of feature models: challenges ahead
Communications of the ACM - Software product line
Automated analysis of feature models 20 years later: A literature review
Information Systems
Proceedings of the 16th International Software Product Line Conference - Volume 1
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
Architectural evolution of FamiWare using cardinality-based feature models
Information and Software Technology
International Journal of Information System Modeling and Design
Cardinality-based feature models with constraints: a pragmatic approach
Proceedings of the 17th International Software Product Line Conference
Hi-index | 0.00 |
Feature Models are used in different stages of software development and are recognized to be an important asset in model transformation techniques and software product line development. The automated analysis of feature models is being recognized as one of the key challenges for automated software development in the context of Software Product Lines. In our previous work we explained how a feature model can be transformed into a constraint satisfaction problem. However cardinalities were not considered. In this paper we present how a cardinality-based feature model can be also translated into a constraint satisfaction problem. In that connection, it is possible to use off-the-shelf tools to automatically accomplish several tasks such as calculating the number of possible feature configurations and detecting possible conflicts. In addition, we present a performance test between two off-the-shelf Java constraint solvers. To the best of our knowledge, this is the first time a performance test is presented using solvers for feature modelling proposes