Correctness of Model Synchronization Based on Triple Graph Grammars - Extended Version
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Bibliographic citation
-
Forschungsberichte der Fakultät IV - Elektrotechnik und Informatik / Technische Universität Berlin ; 2011-07
- Event
-
Veröffentlichung
- (where)
-
Berlin
- (who)
-
Technische Universität Berlin
- (when)
-
2020
- Creator
-
Hermann, Frank
Ehrig, Hartmut
Orejas, Fernando
Czarnecki, Krzysztof
Diskin, Zinovy
Xiong, Yingfei
- DOI
-
10.14279/depositonce-10229
- Handle
-
11303/11342
- URN
-
urn:nbn:de:101:1-2020061701575527790869
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:51 PM CET
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Hermann, Frank
- Ehrig, Hartmut
- Orejas, Fernando
- Czarnecki, Krzysztof
- Diskin, Zinovy
- Xiong, Yingfei
- Technische Universität Berlin
Time of origin
- 2020
Other Objects (12)
Concurrent Model Synchronization with Conflict Resolution Based on Triple Graph Grammars - Extended Version
Incremental model synchronization with precedence-driven triple graph grammars
Incremental Model Synchronization with Precedence-Driven Triple Graph Grammars
Synchronization of models on different abstraction levels using triple graph grammars
Synchronization of Models on Different Abstraction Levels using Triple Graph Grammars
Multi-domain integration with MOF and extended triple graph grammars
Correctness of Generalisation and Customisation of Concurrent Model Synchronisation Based on Triple Graph Grammars
Formal Foundations for Information-Preserving Model Synchronization Processes Based on Triple Graph Grammars
Avoiding unnecessary information loss: correct and efficient model synchronization based on triple graph grammars
Efficient and Compatible Bidirectional Formal Language Translators based on Extended Triple Graph Grammars
Completeness and Correctness of Model Transformations based on Triple Graph Grammars with Negative Application Conditions (Long Version)
On-the-Fly Construction, Correctness and Completeness of Model Transformations based on Triple Graph Grammars: Long Version
Concurrent Model Synchronization with Conflict Resolution Based on Triple Graph Grammars - Extended Version
Incremental model synchronization with precedence-driven triple graph grammars
Incremental Model Synchronization with Precedence-Driven Triple Graph Grammars
Synchronization of models on different abstraction levels using triple graph grammars
Synchronization of Models on Different Abstraction Levels using Triple Graph Grammars
Multi-domain integration with MOF and extended triple graph grammars
Correctness of Generalisation and Customisation of Concurrent Model Synchronisation Based on Triple Graph Grammars
Formal Foundations for Information-Preserving Model Synchronization Processes Based on Triple Graph Grammars
Avoiding unnecessary information loss: correct and efficient model synchronization based on triple graph grammars
Efficient and Compatible Bidirectional Formal Language Translators based on Extended Triple Graph Grammars
Completeness and Correctness of Model Transformations based on Triple Graph Grammars with Negative Application Conditions (Long Version)
On-the-Fly Construction, Correctness and Completeness of Model Transformations based on Triple Graph Grammars: Long Version
Concurrent Model Synchronization with Conflict Resolution Based on Triple Graph Grammars - Extended Version
Incremental model synchronization with precedence-driven triple graph grammars
Incremental Model Synchronization with Precedence-Driven Triple Graph Grammars
Synchronization of models on different abstraction levels using triple graph grammars
Synchronization of Models on Different Abstraction Levels using Triple Graph Grammars
Multi-domain integration with MOF and extended triple graph grammars
Correctness of Generalisation and Customisation of Concurrent Model Synchronisation Based on Triple Graph Grammars
Formal Foundations for Information-Preserving Model Synchronization Processes Based on Triple Graph Grammars
Avoiding unnecessary information loss: correct and efficient model synchronization based on triple graph grammars
Efficient and Compatible Bidirectional Formal Language Translators based on Extended Triple Graph Grammars
Completeness and Correctness of Model Transformations based on Triple Graph Grammars with Negative Application Conditions (Long Version)