Abstract Model merging conflicts occur when different stakeholders aim to integrate their
contradicting changes that are applied concurrently to update software models. We conduct …

Requirements need to be validated at the early phase of the software development to avoid
errors such as inconsistency, incompleteness and incorrectness. Drawn from this argument …

Software models typically contain many inconsistencies and consistency checkers help
engineers find them. Even if engineers are willing to tolerate inconsistencies, they are better …

Requirements-Engineering befasst sich mit Vorgehensweisen zur Präzisierung der
Problemstellung am Beginn einer Systementwicklung. Es ist eine Teildisziplin im …

Our objective is to provide automated support for assisting designers in fixing
inconsistencies in UML models. We have previously developed techniques for efficiently …

The scale and complexity of product lines means that it is practically infeasible to develop a
single model of the entire system, regardless of the languages or notations used. The …

Advances in consistency checking in model-based software development made it possible
to detect errors in real-time. However, existing approaches assume that changes come in …

In model-driven engineering, models are primary artifacts that can evolve heavily during
their life cycle. Therefore, versioning of models is a key technique to be offered by integrated …

Software development often involves a set of models defined in different metamodels, each
model capturing a specific view of the system. We call this set a mutlimodel, and its elements …

When identifying and elaborating compliance requirements, analysts need to follow the
cross references in legal texts and consider the additional information in the cited provisions …