Research on novel tools for model-based development differs from a mere engineering task
by not only develo** a new tool, but by providing some form of evidence that it is effective …

Features define common and variable parts of the members of a (software) product line.
Feature models are used to specify the set of all valid feature combinations. Feature models …

In model-based software development, models are iteratively evolved. To optimally support
model evolution, developers need adequate tools for model versioning tasks, including …

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 …

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 …

In model-based software development, models are primary artifacts which iteratively evolve
and which have many versions during their lifetime. A clear representation of the changes …

In model-driven methodologies, model matching is the process of finding a matching pair for
every model element between two or more software models. Model matching is an important …

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 …

For highly configurable software systems, such as the Linux kernel, maintaining and
evolving variability information along changes to source code poses a major challenge …

Model matching algorithms are used to identify common elements in input models, which is
a fundamental precondition for many software engineering tasks, such as merging software …