Reasoning about Feature Models in Higher-Order Logic

@article{Janota2007ReasoningAF,
  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)},
  year={2007},
  pages={13-22}
}
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

Topics

Statistics

010203020082009201020112012201320142015201620172018
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.