Sciweavers

13985 search results - page 59 / 2797
» Active Feature Models
Sort
View
DLOG
2007
15 years 4 months ago
Induction of Optimal Semi-distances for Individuals based on Feature Sets
Abstract. Many activities related to semantically annotated resources can be enabled by a notion of similarity among them. We propose a method for defining a family of semi-distan...
Nicola Fanizzi, Claudia d'Amato, Floriana Esposito
SPLC
2007
15 years 3 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
95
Voted
ENDM
2010
81views more  ENDM 2010»
15 years 2 months ago
Mixed Integer NonLinear Programs featuring "On/Off" constraints: convex analysis and applications
We call "on/off" constraint an algebraic constraint that is activated if and only if
Hassan Hijazi, Pierre Bonami, Gérard Cornu&...
CAISE
2006
Springer
15 years 6 months ago
Isolated Features Detection in Feature Models
Feature models are commonly used to describe software product lines in terms of features. Features are linked by relations, which may introduce errors in the model. This paper give...
Pablo Trinidad, David Benavides, Antonio Ruiz Cort...
ECLIPSE
2004
ACM
15 years 7 months ago
FeaturePlugin: feature modeling plug-in for Eclipse
Feature modeling is a key technique used in product-line development to model commonalities and variabilities of productline members. In this paper, we present FeaturePlugin, a fe...
Michal Antkiewicz, Krzysztof Czarnecki