Reasoning about feature models in higher-order logic.

dc.contributor.author	Janota, Mikolas
dc.contributor.author	Kiniry, Joseph R.
dc.date.accessioned	2012-03-09T12:24:20Z
dc.date.available	2012-03-09T12:24:20Z
dc.date.issued	2007
dc.identifier.uri	http://hdl.handle.net/10344/2079
dc.description	peer-reviewed	en_US
dc.description.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.	en_US
dc.language.iso	eng	en_US
dc.publisher	IEEE Computer Society	en_US
dc.relation.ispartofseries	11th International Software Product Line Conference;10-14 September 2007
dc.relation.uri	http://dx.doi.org/10.1109/SPLINE.2007.36
dc.rights	“© 2007 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works.	en_US
dc.subject	software product line	en_US
dc.subject	mathematical model	en_US
dc.subject	meta-model	en_US
dc.title	Reasoning about feature models in higher-order logic.	en_US
dc.type	Conference item	en_US
dc.type.supercollection	all_ul_research	en_US
dc.type.supercollection	ul_published_reviewed	en_US
dc.type.restriction	none	en
dc.type.restriction	none	en
dc.contributor.sponsor	SFI
dc.relation.projectid	03/CE2/I303_1