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 …

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 a language evolves, meta-models and associated gram-mars need to be co-evolved
to stay mutually consistent. Previous work has supported the automated migration of a …

Conflict and dependency analysis (CDA) of graph transformation has been shown to be a
versatile foundation for understanding interactions in many software engineering domains …

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

Abstract Search-Based Software Engineering (SBSE) is about solving software development
problems by formulating them as optimization problems. In the last years, combining SBSE …

Ontologies as a means to formally specify the knowledge of a domain of interest have made
their way into information and communication technology. Most often, such knowledge is …

Abstract Model transformations are among the key concepts of model-driven engineering
(MDE), and dedicated model transformation languages (MTLs) emerged with the popularity …