On-the-Fly Construction, Correctness and Completeness of Model Transformations based on Triple Graph Grammars: Long 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 ; 2009-11
- Ereignis
-
Veröffentlichung
- (wo)
-
Berlin
- (wer)
-
Technische Universität Berlin
- (wann)
-
2020
- Urheber
- DOI
-
10.14279/depositonce-10261
- Handle
-
11303/11374
- URN
-
urn:nbn:de:101:1-2020061702091777059662
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:47 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
- Ehrig, Hartmut
- Ermel, Claudia
- Hermann, Frank
- Prange, Ulrike
- Technische Universität Berlin
Entstanden
- 2020
Ähnliche Objekte (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
Übertragung universeller und spezieller Probleme in F-Morphismendarstellung
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)
Correctness of Generalisation and Customisation of Concurrent Model Synchronisation Based on Triple Graph Grammars
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
Graph grammars : an introduction to the double pushout approach
Fundamentals of algebraic specification, 2.. Module specifications and constraints
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
Übertragung universeller und spezieller Probleme in F-Morphismendarstellung
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)
Correctness of Generalisation and Customisation of Concurrent Model Synchronisation Based on Triple Graph Grammars
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
Graph grammars : an introduction to the double pushout approach
Fundamentals of algebraic specification, 2.. Module specifications and constraints
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
Übertragung universeller und spezieller Probleme in F-Morphismendarstellung
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)
Correctness of Generalisation and Customisation of Concurrent Model Synchronisation Based on Triple Graph Grammars
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
Graph grammars : an introduction to the double pushout approach