94
Voted
MODELS
2015
Springer
9 years 11 months ago
2015
Springer
Abstract—In Model-Driven Engineering, the potential advantages of using bidirectional transformations are largely recognized. Despite its crucial function, in certain cases bidir...
88
Voted
MODELS
2015
Springer
9 years 11 months ago
2015
Springer
In this paper we propose an iterative process for the correct speci cation of model transformations, i.e., for developing correct transformation models. This permits checking the ...
91
Voted
MODELS
2015
Springer
9 years 11 months ago
2015
Springer
Advanced driver assistance systems and (semi-)autonomous mobility systems will arguably be the biggest disruption of our everyday life in the next couple of years. The development ...
87
Voted
MODELS
2015
Springer
9 years 11 months ago
2015
Springer
—Component-based and model-driven engineering are key paradigms for handling the ever-increasing complexity of technical systems. Surprisingly few component models consider extra...
86
Voted
MODELS
2015
Springer
9 years 11 months ago
2015
Springer
—This contribution proposes a new technique for developing test cases for UML and OCL models. The technique is based on an approach that automatically constructs object models fo...