Automated analysis of feature models
- 1 December 2006
- journal article
- Published by Association for Computing Machinery (ACM) in Communications of the ACM
- Vol. 49 (12), 45-47
- https://doi.org/10.1145/1183236.1183264
Abstract
No abstract availableThis publication has 7 references indexed in Scilit:
- Verifying feature-based model templates against well-formedness OCL constraintsPublished by Association for Computing Machinery (ACM) ,2006
- Using Java CSP Solvers in the Automated Analyses of Feature ModelsLecture Notes in Computer Science, 2006
- Software Product Line EngineeringPublished by Springer Science and Business Media LLC ,2005
- Automated Reasoning on Feature ModelsNotes on Numerical Fluid Mechanics and Multidisciplinary Design, 2005
- Feature Models, Grammars, and Propositional FormulasLecture Notes in Computer Science, 2005
- Constraint-Based Design-Space Exploration and Model SynthesisLecture Notes in Computer Science, 2003
- A theory of diagnosis from first principlesArtificial Intelligence, 1987