RT Journal Article
JF Software Product Line Conference, International
YR 2007
VO 00
IS
SP 13
TI Reasoning about Feature Models in Higher-Order Logic
A1 Joseph Kiniry,
A1 Mikolas Janota,
K1 null
AB 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 supports 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.
PB IEEE Computer Society, [URL:http://www.computer.org]
SN
LA English
DO 10.1109/SPLINE.2007.36
LK http://doi.ieeecomputersociety.org/10.1109/SPLINE.2007.36