Graph-Based Algorithms for Boolean Function Manipulation
IEEE Transactions on Computers
fmp and fmp2rsm: eclipse plug-ins for modeling features using model templates
OOPSLA '05 Companion to the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Efficient interactive configuration of unbounded modular systems
Proceedings of the 2006 ACM symposium on Applied computing
Proceedings of the 5th international conference on Generative programming and component engineering
Feature Diagrams: A Survey and a Formal Semantics
RE '06 Proceedings of the 14th IEEE International Requirements Engineering Conference
Reasoning about Feature Models in Higher-Order Logic
SPLC '07 Proceedings of the 11th International Software Product Line Conference
Feature Diagrams and Logics: There and Back Again
SPLC '07 Proceedings of the 11th International Software Product Line Conference
Sample Spaces and Feature Models: There and Back Again
SPLC '08 Proceedings of the 2008 12th International Software Product Line Conference
Auto-completion for diagram editors based on graph grammars
VLHCC '08 Proceedings of the 2008 IEEE Symposium on Visual Languages and Human-Centric Computing
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
Formal model-driven program refactoring
FASE'08/ETAPS'08 Proceedings of the Theory and practice of software, 11th international conference on Fundamental approaches to software engineering
Feature models, grammars, and propositional formulas
SPLC'05 Proceedings of the 9th international conference on Software Product Lines
Guided development with multiple domain-specific languages
MODELS'07 Proceedings of the 10th international conference on Model Driven Engineering Languages and Systems
CSP(M): Constraint Satisfaction Problem over Models
MODELS '09 Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems
How to Complete an Interactive Configuration Process?
SOFSEM '10 Proceedings of the 36th Conference on Current Trends in Theory and Practice of Computer Science
Evolution of the linux kernel variability model
SPLC'10 Proceedings of the 14th international conference on Software product lines: going beyond
Reverse engineering feature models
Proceedings of the 33rd International Conference on Software Engineering
On extracting feature models from product descriptions
Proceedings of the Sixth International Workshop on Variability Modeling of Software-Intensive Systems
Separation of concerns in feature modeling: support and applications
Proceedings of the 11th annual international conference on Aspect-oriented Software Development
Dynamic constraint satisfaction problems over models
Software and Systems Modeling (SoSyM)
Efficient synthesis of feature models
Proceedings of the 16th International Software Product Line Conference - Volume 1
Proactive modeling: auto-generating models from their semantics and constraints
Proceedings of the 2012 workshop on Domain-specific modeling
Support for reverse engineering and maintaining feature models
Proceedings of the Seventh International Workshop on Variability Modelling of Software-intensive Systems
| Hi-index | 0.00 |
Mainstream development environments have recently assimilated guidance technologies based on constraint satisfaction. We investigate one class of such technologies, namely, interactive guided derivation of models, where the editing system assists a designer by providing hints about valid editing operations that maintain global correctness. We provide a semantics-based classification of such guidance systems and investigate concrete guidance algorithms for two kinds of modeling languages: a simple subset of class-diagram-like language and for feature models. Both algorithms are efficient and provide exhaustive guidance.