Correctness of Model Synchronization Based on Triple Graph Grammars - Extended Version
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Erschienen in
-
Forschungsberichte der Fakultät IV - Elektrotechnik und Informatik / Technische Universität Berlin ; 2011-07
- Ereignis
-
Veröffentlichung
- (wo)
-
Berlin
- (wer)
-
Technische Universität Berlin
- (wann)
-
2020
- Urheber
-
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
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:51 MEZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Hermann, Frank
- Ehrig, Hartmut
- Orejas, Fernando
- Czarnecki, Krzysztof
- Diskin, Zinovy
- Xiong, Yingfei
- Technische Universität Berlin
Entstanden
- 2020
Ähnliche Objekte (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)