On-the-Fly Construction, Correctness and Completeness of Model Transformations based on Triple Graph Grammars: Long 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 ; 2009-11
- Event
-
Veröffentlichung
- (where)
-
Berlin
- (who)
-
Technische Universität Berlin
- (when)
-
2020
- Creator
- DOI
-
10.14279/depositonce-10261
- Handle
-
11303/11374
- URN
-
urn:nbn:de:101:1-2020061702091777059662
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
18.08.2025, 4:02 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
- Ehrig, Hartmut
- Ermel, Claudia
- Hermann, Frank
- Prange, Ulrike
- Technische Universität Berlin
Time of origin
- 2020
Other Objects (12)
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
Correctness, completeness, and consistency of equational data type specifications
Übertragung universeller und spezieller Probleme in F-Morphismendarstellung
Correctness of Model Synchronization Based on Triple Graph Grammars - Extended Version
Correctness, Completeness and Termination of Pattern-based Model-to-Model 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 Relationship of Model Transformations Based on Triple and Plain Graph Grammars (Long Version)
From Model Transformation to Model Integration based on the Algebraic Approach to Triple Graph Grammars
From Model Transformation to Model Integration based on the Algebraic Approach to Triple Graph Grammars
Development, specification and semantics of strictly modular systems : (seminar notes) ; presented at the Seminar on State of the Art and Perspectives of Software Technology in Europe, USA and Japan, ICC Berlin, September 1983
Correctness of Generalisation and Customisation of Concurrent Model Synchronisation Based on Triple Graph Grammars
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
Correctness, completeness, and consistency of equational data type specifications
Übertragung universeller und spezieller Probleme in F-Morphismendarstellung
Correctness of Model Synchronization Based on Triple Graph Grammars - Extended Version
Correctness, Completeness and Termination of Pattern-based Model-to-Model 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 Relationship of Model Transformations Based on Triple and Plain Graph Grammars (Long Version)
From Model Transformation to Model Integration based on the Algebraic Approach to Triple Graph Grammars
From Model Transformation to Model Integration based on the Algebraic Approach to Triple Graph Grammars
Development, specification and semantics of strictly modular systems : (seminar notes) ; presented at the Seminar on State of the Art and Perspectives of Software Technology in Europe, USA and Japan, ICC Berlin, September 1983
Correctness of Generalisation and Customisation of Concurrent Model Synchronisation Based on Triple Graph Grammars
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
Correctness, completeness, and consistency of equational data type specifications
Übertragung universeller und spezieller Probleme in F-Morphismendarstellung
Correctness of Model Synchronization Based on Triple Graph Grammars - Extended Version
Correctness, Completeness and Termination of Pattern-based Model-to-Model 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 Relationship of Model Transformations Based on Triple and Plain Graph Grammars (Long Version)
From Model Transformation to Model Integration based on the Algebraic Approach to Triple Graph Grammars
From Model Transformation to Model Integration based on the Algebraic Approach to Triple Graph Grammars
Development, specification and semantics of strictly modular systems : (seminar notes) ; presented at the Seminar on State of the Art and Perspectives of Software Technology in Europe, USA and Japan, ICC Berlin, September 1983