|
1 |
A Formal Resolution Strategy for Operation-Based Conicts in Model Versioning Using Graph Modications
Ehrig, Hartmut. - Berlin : Technische Universität Berlin, 2020
|
|
|
|
2 |
Analysis of Hypergraph Transformation Systems in AGG based on M-Functors: Extended Version
Maximova, Maria. - Berlin : Technische Universität Berlin, 2020
|
|
|
|
3 |
Behavior Preservation in Model Refactoring using DPO Transformations with Borrowed Contexts
Rangel, Guilherme. - Berlin : Technische Universität Berlin, 2020
|
|
|
|
4 |
Completeness and Correctness of Model Transformations based on Triple Graph Grammars with Negative Application Conditions (Long Version)
Ehrig, Hartmut. - Berlin : Technische Universität Berlin, 2020
|
|
|
|
5 |
Concurrency in Reconfigurable Place/Systems
Ehrig, Hartmut. - Berlin : Technische Universität Berlin, 2020
|
|
|
|
6 |
Concurrent Model Synchronization with Conflict Resolution Based on Triple Graph Grammars - Extended Version
Hermann, Frank. - Berlin : Technische Universität Berlin, 2020
|
|
|
|
7 |
Correctness of Generalisation and Customisation of Concurrent Model Synchronisation Based on Triple Graph Grammars
Gottmann, Susann. - Berlin : Technische Universität Berlin, 2020
|
|
|
|
8 |
Correctness of Model Synchronization Based on Triple Graph Grammars - Extended Version
Hermann, Frank. - Berlin : Technische Universität Berlin, 2020
|
|
|
|
9 |
Correctness, Completeness and Termination of Pattern-based Model-to-Model Transformation: Long Version
Orejas, Fernando. - Berlin : Technische Universität Berlin, 2020
|
|
|
|
10 |
Efficient Analysis and Execution of Correct and Complete Model Transformations Based on Triple Graph Grammars - Extended Version
Hermann, Frank. - Berlin : Technische Universität Berlin, 2020
|
|
Administration
