Sciweavers

Share
SPLC
2007

Reasoning about Feature Models in Higher-Order Logic

8 years 5 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 modeling approaches found in the literature. This meta-model support not only a better understanding of the various approaches to feature modeling, but also supports reasoning about and within feature model approaches, feature models, and on feature trees and their configurations.
Mikolás Janota, Joseph Kiniry
Added 07 Nov 2010
Updated 07 Nov 2010
Type Conference
Year 2007
Where SPLC
Authors Mikolás Janota, Joseph Kiniry
Comments (0)
books