137
Voted
MODELS
2015
Springer
9 years 11 months ago
2015
Springer
—We present IOPT-Tools, a tool framework for the development of digital controllers based on graphical executable models. The framework supports edition, simulation, verificatio...
81
Voted
MODELS
2015
Springer
9 years 11 months ago
2015
Springer
ucture from an abstract connector model; Kapova [14] introduced variability in the model transformation process (rather than just in the model instances). The fourth line of resear...
89
Voted
MODELS
2015
Springer
9 years 11 months ago
2015
Springer
— Over the last years, several model repositories have been proposed in response to the need of the MDE community for advanced systems supporting the reuse of modeling artifacts....
87
Voted
MODELS
2015
Springer
9 years 11 months ago
2015
Springer
89
Voted
MODELS
2015
Springer
9 years 11 months ago
2015
Springer
—Different models are involved in the automotive development process. In the integration phase, AUTOSAR is often the only model description available for a controller. The models...
80
Voted
MODELS
2015
Springer
9 years 11 months ago
2015
Springer
Many relations between model elements are expressed in OCL. However, tool support to enable synchronization of elements based on OCL-expressed relations is lacking. In this paper, ...
106
Voted
MODELS
2015
Springer
9 years 11 months ago
2015
Springer
There are two established strategies to create test models: Textual notations require developers to mentally reconstruct the involved graph structures ad hoc; maintenance effort a...
106
Voted
MODELS
2015
Springer
9 years 11 months ago
2015
Springer
Abstract—Metamodels undergo many changes during the evolution of several software modeling languages and projects. As a consequence, models have to be updated for preserving thei...
85
Voted
MODELS
2015
Springer
9 years 11 months ago
2015
Springer
Multi-paradigm modeling settings inherently and frequently cause inconsistencies between models in dierent languages involved in the design. The proper management of inconsistenci...
77
Voted
MODELS
2015
Springer
9 years 11 months ago
2015
Springer
—As Model-Driven Engineering is becoming adopted by industry, models and model transformations (MTs) are extensively used. Hence, there is the urgent need for systematic testing ...