Constraint satisfaction in logic programming
Constraint satisfaction in logic programming
Generative programming: methods, tools, and applications
Generative programming: methods, tools, and applications
Designing Software Product Lines with UML: From Use Cases to Pattern-Based Software Architectures
Designing Software Product Lines with UML: From Use Cases to Pattern-Based Software Architectures
A customizable approach to full lifecycle variability management
Science of Computer Programming - Special issue: Software variability management
Software Product Line Engineering: Foundations, Principles and Techniques
Software Product Line Engineering: Foundations, Principles and Techniques
Integrated tool support for software product line engineering
Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering
Automated error analysis for the agilization of feature modeling
Journal of Systems and Software
Efficient constraint propagation engines
ACM Transactions on Programming Languages and Systems (TOPLAS)
ICSR '09 Proceedings of the 11th International Conference on Software Reuse: Formal Foundations of Reuse and Domain Engineering
Model-Based Customization and Deployment of Eclipse-Based Tools: Industrial Experiences
ASE '09 Proceedings of the 2009 IEEE/ACM International Conference on Automated Software Engineering
Decision-making coordination and efficient reasoning techniques for feature-based configuration
Science of Computer Programming
Automated analysis of feature models 20 years later: A literature review
Information Systems
Flexible and scalable consistency checking on product line variability models
Proceedings of the IEEE/ACM international conference on Automated software engineering
Using Integer Constraint Solving in Reuse Based Requirements Engineering
RE '10 Proceedings of the 2010 18th IEEE International Requirements Engineering Conference
The DOPLER meta-tool for decision-oriented variability modeling: a multiple case study
Automated Software Engineering
Automated reasoning on feature models
CAiSE'05 Proceedings of the 17th international conference on Advanced Information Systems Engineering
Formalizing distributed evolution of variability in information system ecosystems
Proceedings of the Sixth International Workshop on Variability Modeling of Software-Intensive Systems
Using constraint-based optimization and variability to support continuous self-adaptation
Proceedings of the 27th Annual ACM Symposium on Applied Computing
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
International Journal of Information System Modeling and Design
An Ontological Rule-Based Approach for Analyzing Dead and False Optional Features in Feature Models
Electronic Notes in Theoretical Computer Science (ENTCS)
Hi-index | 0.00 |
Software product lines are typically developed using model-based approaches. Models are used to guide and automate key activities such as the derivation of products. The verification of product line models is thus essential to ensure the consistency of the derived products. While many authors have proposed approaches for verifying feature models there is so far no such approach for decision models. We discuss challenges of analyzing and verifying decision-oriented DOPLER variability models. The manual verification of these models is an error-prone, tedious, and sometimes infeasible task. We present a preliminary approach that converts DOPLER variability models into constraint programs to support their verification. We assess the feasibility of our approach by identifying defects in two existing variability models.