Sciweavers

8676 search results - page 1 / 1736
» A Feature Model for an IDE4OCL
Sort
View
ECEASST
2010
12 years 11 months ago
A Feature Model for an IDE4OCL
An Integrated OCL Development Environment (IDE4OCL) can significantly improve the pragmatics and practice of OCL. Therefore we started a comprehensive requirement analysis with the...
Joanna Dobroslawa Chimiak-Opoka, Birgit Demuth
JIT
2004
Springer
134views Database» more  JIT 2004»
13 years 10 months ago
Reconciling Feature Modeling: A Feature Modeling Metamodel
Feature modeling, a conceptual domain modeling technique used mainly in domain engineering, proved as useful for representing configurability of concepts by dealing explicitly wit...
Valentino Vranic
SPLC
2007
13 years 6 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
CAISE
2006
Springer
13 years 8 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
13 years 10 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