Sciweavers

MODELS
2009
Springer
14 years 2 months ago
Weaving Variability into Domain Metamodels
A Domain-Specific Modeling Language (DSMLs) describes the concepts and their relationships of a particular domain, in a metamodel. Using a DSML, it is possible to describe a wide ...
Brice Morin, Gilles Perrouin, Philippe Lahire, Oli...
MODELS
2009
Springer
14 years 2 months ago
An Incremental Algorithm for High-Performance Runtime Model Consistency
We present a novel technique for applying two-level runtime models to distributed systems. Our approach uses graph rewriting rules to transform a high-level source model into one o...
Christopher Wolfe, T. C. Nicholas Graham, W. Greg ...
MODELS
2009
Springer
14 years 2 months ago
Evaluating Context Descriptions and Property Definition Patterns for Software Formal Validation
A well known challenge in the formal methods domain is to improve their integration with practical engineering methods. In the context of embedded systems, model checking requires ...
Philippe Dhaussy, Pierre Yves Pillain, Stephen Cre...
MODELS
2009
Springer
14 years 2 months ago
Modeling Modeling
Abstract. Model-driven engineering and model-based approaches have permeated all branches of software engineering; to the point that it seems that we are using models, as Molière...
Pierre-Alain Muller, Frédéric Fondem...
MODELS
2009
Springer
14 years 2 months ago
Meta-model Pruning
Sagar Sen, Naouel Moha, Benoit Baudry, Jean-Marc J...
MODELS
2009
Springer
14 years 2 months ago
Model Composition Contracts
Jon Oldevik, Massimiliano Menarini, Ingolf Krü...
MODELS
2009
Springer
14 years 2 months ago
Variability Modelling throughout the Product Line Lifecycle
This paper summarizes our experience with introducing feature modelling into several product lines within Siemens. Feature models are used for solving various tasks in the product ...
Christa Schwanninger, Iris Groher, Christoph Elsne...
MODELS
2009
Springer
14 years 2 months ago
Test-Driven Development of Model Transformations
Pau Giner, Vicente Pelechano