Sciweavers

72
Voted
MODELS
2009
Springer
15 years 8 months ago
Formal Support for QVT-Relations with Coloured Petri Nets
Juan de Lara, Esther Guerra
93
Voted
MODELS
2009
Springer
15 years 8 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...
100
Voted
MODELS
2009
Springer
15 years 8 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 ...
112
Voted
MODELS
2009
Springer
15 years 8 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...
102
Voted
MODELS
2009
Springer
15 years 8 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...
68
Voted
MODELS
2009
Springer
15 years 8 months ago
Meta-model Pruning
Sagar Sen, Naouel Moha, Benoit Baudry, Jean-Marc J...
106
Voted
MODELS
2009
Springer
15 years 8 months ago
Model Composition Contracts
Jon Oldevik, Massimiliano Menarini, Ingolf Krü...
83
Voted
MODELS
2009
Springer
15 years 8 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...
85
Voted
MODELS
2009
Springer
15 years 8 months ago
Incremental Development of Model Transformation Chains Using Automated Testing
Jochen Malte Küster, Thomas Gschwind, Olaf Zi...
84
Voted
MODELS
2009
Springer
15 years 8 months ago
Test-Driven Development of Model Transformations
Pau Giner, Vicente Pelechano