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 …

This paper proposes the use of equivalence partitioning techniques for testing models and
model transformations. In particular, we introduce the concept of classifying terms, which are …

Bidirectional transformations (BX) serve to maintain consistency between different
representations of related and often overlap** information, translating changes in one …

Software build systems tackle the problem of building software from sources in a way which
is sound (when a build completes successfully, the relations between the generated and …

A foundational property of bidirectional transformations is that they should be correct: that is,
the transformation should succeed in restoring consistency between any models it is given …

In the context of software model-driven development, artifacts are specified by several
models describing different aspects, eg, different views, dynamic behavior, structure …

In software engineering and elsewhere, different people may work intensively with different,
but related, artefacts, eg models, documents, or code. They may use bidirectional …

Restoring consistency between different information-sharing artifacts after one of them has
been changed is an important problem that arises in several areas of computer science. In …

The model-driven development of systems involves multiple models, metamodels and
transformations. Transformations--which may be bidirectional--specify, and provide means …

Complex software systems are described with multiple artifacts, such as code, design
diagrams and others. Ensuring their consistency is crucial and can be automated with …