Recommender systems in model-driven engineering: A systematic mapping review

L Almonte, E Guerra, I Cantador, J De Lara - Software and Systems …, 2022 - Springer
Recommender systems are information filtering systems used in many online applications
like music and video broadcasting and e-commerce platforms. They are also increasingly …

Reuse in model-to-model transformation languages: are we there yet?

A Kusel, J Schönböck, M Wimmer, G Kappel… - Software & Systems …, 2015 - Springer
In the area of model-driven engineering, model transformations are proposed as the
technique to systematically manipulate models. For increasing development productivity as …

Model transformation intents and their properties

L Lúcio, M Amrani, J Dingel, L Lambers… - Software & systems …, 2016 - Springer
The notion of model transformation intent is proposed to capture the purpose of a
transformation. In this paper, a framework for the description of model transformation intents …

Managing inter-model inconsistencies in model-based systems engineering: Application in automated production systems engineering

S Feldmann, K Kernschmidt, M Wimmer… - Journal of Systems and …, 2019 - Elsevier
To cope with the challenge of managing the complexity of automated production systems,
model-based approaches are applied increasingly. However, due to the multitude of …

Static fault localization in model transformations

L Burgueno, J Troya, M Wimmer… - IEEE Transactions on …, 2014 - ieeexplore.ieee.org
As the complexity of model transformations grows, there is an increasing need to count on
methods, mechanisms, and tools for checking their correctness, ie, the alignment between …

Spectrum-based fault localization in model transformations

J Troya, S Segura, JA Parejo… - ACM Transactions on …, 2018 - dl.acm.org
Model transformations play a cornerstone role in Model-Driven Engineering (MDE), as they
provide the essential mechanisms for manipulating and transforming models. The …

A comprehensive approach for managing inter-model inconsistencies in automated production systems engineering

S Feldmann, M Wimmer, K Kernschmidt… - 2016 IEEE …, 2016 - ieeexplore.ieee.org
The systematic management of the various models in automated production systems
engineering is a major challenge as, due to the multi-disciplinary nature, different …

Model transformation testing and debugging: A survey

J Troya, S Segura, L Burgueño, M Wimmer - ACM Computing Surveys, 2022 - dl.acm.org
Model transformations are the key technique in Model-Driven Engineering (MDE) to
manipulate and construct models. As a consequence, the correctness of software systems …

A component model for model transformations

JS Cuadrado, E Guerra… - IEEE Transactions on …, 2014 - ieeexplore.ieee.org
Model-driven engineering promotes an active use of models to conduct the software
development process. In this way, models are used to specify, simulate, verify, test and …

Verification of model transformations: A survey of the state-of-the-art

D Calegari, N Szasz - Electronic notes in theoretical computer science, 2013 - Elsevier
Within the Model-Driven Engineering paradigm, software development is based on the
definition of models providing different views of the system to be constructed and model …