Janota, Mikolas; Kiniry, Joseph R.
(IEEE Computer Society, 2007)
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 ...