Reasoning about Feature Models in Higher-Order Logic

  title={Reasoning about Feature Models in Higher-Order Logic},
  author={Mikol{\'a}s Janota and Joseph Kiniry},
  journal={11th International Software Product Line Conference (SPLC 2007)},
A mechanically formalized feature modeling meta-model 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… CONTINUE READING

4 Figures & Tables



Citations per Year

123 Citations

Semantic Scholar estimates that this publication has 123 citations based on the available data.

See our FAQ for additional information.