Correctness of Generalisation and Customisation of Concurrent Model Synchronisation Based on Triple Graph Grammars
- 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 ; 2013-08
- Event
-
Veröffentlichung
- (where)
-
Berlin
- (who)
-
Technische Universität Berlin
- (when)
-
2020
- Creator
-
Gottmann, Susann
Hermann, Frank
Nachtigall, Nico
Braatz, Benjamin
Ermel, Claudia
Ehrig, Hartmut
Engel, Thomas
- DOI
-
10.14279/depositonce-10195
- Handle
-
11303/11310
- URN
-
urn:nbn:de:101:1-2020061702155171878050
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
14.08.2025, 10:49 AM CEST
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
- Gottmann, Susann
- Hermann, Frank
- Nachtigall, Nico
- Braatz, Benjamin
- Ermel, Claudia
- Ehrig, Hartmut
- Engel, Thomas
- Technische Universität Berlin
Time of origin
- 2020
Other Objects (12)
Übertragung universeller und spezieller Probleme in F-Morphismendarstellung
Completeness and Correctness of Model Transformations based on Triple Graph Grammars with Negative Application Conditions (Long Version)
Semantical Correctness and Completeness of Model Transformations using Graph and Rule Transformation: Long Version
Introduction to the algebraic theory of graph grammars : (a survey) ; prepared for the Internat. Workshop on Graph Grammars and their Applications to Computer Science and Biology October 30 - November 3, 1978, Bad Honnef
On-the-Fly Construction, Correctness and Completeness of Model Transformations based on Triple Graph Grammars: Long Version
Correctness of Model Synchronization Based on Triple Graph Grammars - Extended Version
Correctness, completeness, and consistency of equational data type specifications
Graph grammars : an introduction to the double pushout approach
From algebraic module specifications to component concepts and integrated modeling techniques
Computing by graph transformation : a survey and annotated bibliography
Attributed graphs and typing : relationship between different representations
Unifying Petri nets : advances in Petri nets
Übertragung universeller und spezieller Probleme in F-Morphismendarstellung
Completeness and Correctness of Model Transformations based on Triple Graph Grammars with Negative Application Conditions (Long Version)
Semantical Correctness and Completeness of Model Transformations using Graph and Rule Transformation: Long Version
Introduction to the algebraic theory of graph grammars : (a survey) ; prepared for the Internat. Workshop on Graph Grammars and their Applications to Computer Science and Biology October 30 - November 3, 1978, Bad Honnef
On-the-Fly Construction, Correctness and Completeness of Model Transformations based on Triple Graph Grammars: Long Version
Correctness of Model Synchronization Based on Triple Graph Grammars - Extended Version
Correctness, completeness, and consistency of equational data type specifications
Graph grammars : an introduction to the double pushout approach
From algebraic module specifications to component concepts and integrated modeling techniques
Computing by graph transformation : a survey and annotated bibliography
Attributed graphs and typing : relationship between different representations
Unifying Petri nets : advances in Petri nets
Übertragung universeller und spezieller Probleme in F-Morphismendarstellung
Completeness and Correctness of Model Transformations based on Triple Graph Grammars with Negative Application Conditions (Long Version)
Semantical Correctness and Completeness of Model Transformations using Graph and Rule Transformation: Long Version
Introduction to the algebraic theory of graph grammars : (a survey) ; prepared for the Internat. Workshop on Graph Grammars and their Applications to Computer Science and Biology October 30 - November 3, 1978, Bad Honnef
On-the-Fly Construction, Correctness and Completeness of Model Transformations based on Triple Graph Grammars: Long Version
Correctness of Model Synchronization Based on Triple Graph Grammars - Extended Version
Correctness, completeness, and consistency of equational data type specifications
Graph grammars : an introduction to the double pushout approach
From algebraic module specifications to component concepts and integrated modeling techniques
Computing by graph transformation : a survey and annotated bibliography
Attributed graphs and typing : relationship between different representations