The digital transformation of society affects all aspects of human life, offering new
opportunities but also creating challenges and risks. More tasks will be automated using …

Suitable software languages are crucial to tackling the ever-increasing complexity of
software engineering processes and software products. They model, specify, and test …

When configuring a software product line, finding a good trade-off between multiple
orthogonal quality concerns is a challenging multi-objective optimisation problem. State-of …

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 …

Modeling structure and behavior of software systems plays a crucial role in the industrial
practice of software engineering. As with other software engineering artifacts, software …

Recently, there has been increased interest in combining model-driven engineering and
search-based software engineering. Such approaches use meta-heuristic search guided by …

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 …

Model generators are important tools in model-based systems engineering to automate the
creation of software models for tasks like testing and benchmarking. Previous works have …

Managing and resolving inconsistencies in models is crucial in model-driven engineering
(MDE). In this paper we consider models that are based on the Eclipse Modeling Framework …

During modeling activities, inconsistencies can easily occur due to misunderstandings, lack
of information or simply mistakes. In this paper, we focus on model inconsistencies that …