Sciweavers

SPLC
2007
14 years 1 months ago
Reasoning about Feature Models in Higher-Order Logic
A mechanically formalized feature modeling metamodel is presented. This theory is a generic higher-order formalization of a mathematical model synthesizing several feature modelin...
Mikolás Janota, Joseph Kiniry
JIT
2004
Springer
134views Database» more  JIT 2004»
14 years 5 months ago
Reconciling Feature Modeling: A Feature Modeling Metamodel
Feature modeling, a conceptual domain modeling technique used mainly in domain engineering, proved as useful for representing configurability of concepts by dealing explicitly wit...
Valentino Vranic