Models in Model-Driven Engineering are heavily edited in all stages of software
development and can become temporarily inconsistent. In general, there are many …

Artificial intelligence has already proven to be a powerful tool to automate and improve how
we deal with software development processes. The application of artificial intelligence to …

In model-driven software engineering, models are used in all phases of the development
process. These models must hold a high quality since the implementation of the systems …

Models in Model-driven Engineering are primary development artifacts that are heavily
edited in all stages of software development and that can become temporarily inconsistent …

Where graphs are used for modelling and specifying systems, consistency is an important
concern. To be a valid model of a system, the graph structure must satisfy a number of …

When software models change, developers often fail in kee** them consistent. Automated
support in repairing inconsistencies is widely addressed. Yet, merely enumerating repairs …

Domain modeling is a core activity in Model-Driven Engineering, and these models must be
correct. A large number of artifacts may be constructed on top of these domain models, such …

When performing modeling activities, the chances of breaking a model increase together
with the size of development teams and number of changes in software specifications …

Abstract Model transformations play an essential role in the model-driven engineering
paradigm. However, writing a correct transformation requires the user to understand both …

Graph repair, restoring consistency of a graph, plays a prominent role in several areas of
computer science and beyond: For example, in model-driven engineering, the abstract …