Generative programming: methods, tools, and applications
Generative programming: methods, tools, and applications
Feature-Oriented Project Line Engineering
IEEE Software
Concepts and Guidelines of Feature Modeling for Product Line Software Engineering
ICSR-7 Proceedings of the 7th International Conference on Software Reuse: Methods, Techniques, and Tools
Using First-Order Logic for Product Line Model Validation
SPLC 2 Proceedings of the Second International Conference on Software Product Lines
Formal Semantics and Verification for Feature Modeling
ICECCS '05 Proceedings of the 10th IEEE International Conference on Engineering of Complex Computer Systems
Software Product Line Engineering: Foundations, Principles and Techniques
Software Product Line Engineering: Foundations, Principles and Techniques
Software Abstractions: Logic, Language, and Analysis
Software Abstractions: Logic, Language, and Analysis
Feature Diagrams: A Survey and a Formal Semantics
RE '06 Proceedings of the 14th IEEE International Requirements Engineering Conference
Algorithms for Computing Minimal Unsatisfiable Subsets of Constraints
Journal of Automated Reasoning
Automated Diagnosis of Product-Line Configuration Errors in Feature Models
SPLC '08 Proceedings of the 2008 12th International Software Product Line Conference
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
Non-clausal encoding of feature diagram for automated diagnosis
SPLC'10 Proceedings of the 14th international conference on Software product lines: going beyond
Supporting feature model refinement with updatable view
Frontiers of Computer Science: Selected Publications from Chinese Universities
Hi-index | 0.00 |
A semi-automated model diagnostic method is proposed for FODA feature diagram, a primary modeling notation used in Software Product Line Engineering. The proposed method includes a propositional logic interpretation of the feature diagram and a diagram-slicing algorithm for locating bugs. In addition to logic-based formalization of the semantics, the novelty of our approach is that it uses heuristics taking into account the diagram graph structure. Although human intelligence is always involved in removing bugs from feature diagrams, the checking and diagnosing of them can be automated to some extent.