Sciweavers

SPLC
2007
13 years 5 months ago
Reasoning about Feature Models in Higher-Order Logic
A mechanically formalized feature modeling metamodel is presented. This theory is a generic higher-order formalization of a mathematical model synthesizing several feature modelin...
Mikolás Janota, Joseph Kiniry
CP
1997
Springer
13 years 8 months ago
Ordering Constraints over Feature Trees
Feature trees have been used to accommodate records in constraint programming and record like structures in computational linguistics. Feature trees model records, and feature cons...
Martin Müller, Joachim Niehren, Andreas Podel...
ECOOP
2001
Springer
13 years 9 months ago
Feature Interaction and Composition Problems in Software Product Lines
Features are essential characteristic of applications within a product line. Features organized in different kinds of diagrams containing hierarchies of feature trees are closely ...
Silva Robak, Bogdan Franczyk