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. © 2007 IEEE.
|Title of host publication||11th International Software Product Line Conference, SPLC 2007|
|Publisher||Inst. of Elec. and Elec. Eng. Computer Society|
|Publication status||Published - 2007|
|Event||11th International Software Product Line Conference, SPLC 2007 - Dublin, Ireland|
Duration: 10 Sep 2007 → 14 Sep 2007
|Conference||11th International Software Product Line Conference, SPLC 2007|
|Period||10/09/2007 → 14/09/2007|