Loading...
Thumbnail Image
Publication

Reasoning about feature models in higher-order logic.

Date
2007
Abstract
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.
Supervisor
Description
peer-reviewed
Publisher
IEEE Computer Society
Citation
11th International Software Product Line Conference;10-14 September 2007
Funding code
Funding Information
Science Foundation Ireland (SFI)
Sustainable Development Goals
External Link
License
Embedded videos