During the development of large software-intensive systems, developers use several
modeling languages and tools to describe a system from different viewpoints. Model-driven …

When complex IT systems are being developed, the usage of several programming and
modelling languages can lead to inconsistencies that yield faulty designs and …

A software system under development can be described by several models, which represent
di erent concerns or abstractions of the system. These models can contain dependent or …

Using multiple models to describe a software system, often poses the challenge to keep
them consistent automatically. While there is much research on preserving consistency of …

Increasing size, complexity and heterogeneity of software-intensive systems make it nearly
impossible that single persons develop a whole system. Therefore, different stakeholders …

Software systems are usually described through multiple models that address di erent
development concerns. These models can contain shared information, which leads to …

In the past few years, software development has seen rapid growth, and developers have
adopted different methods to provide efficient procedures in software development, thus …

When using multiple models to describe a system, the di erent descriptions can get out of
synchronization and, hence, contradict themselves. Model transformations are a means to …

abstract During the development of large software-intensive systems, developers use
several modeling languages and tools to describe a system from different viewpoints. Model …

Bidirectional model transformations create or update a target model according to a base
model and vice versa using a single transformation specification for both directions. Triple …