Completeness and Correctness of Model Transformations based on Triple Graph Grammars with Negative Application Conditions (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-03
- Ereignis
-
Veröffentlichung
- (wo)
-
Berlin
- (wer)
-
Technische Universität Berlin
- (wann)
-
2020
- Urheber
- DOI
-
10.14279/depositonce-10255
- Handle
-
11303/11368
- URN
-
urn:nbn:de:101:1-2020061702131760604558
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:45 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
- Hermann, Frank
- Sartorius, Christoph
- Technische Universität Berlin
Entstanden
- 2020
Ähnliche Objekte (12)
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
Semantical Correctness and Completeness of Model Transformations using Graph and Rule Transformation: Long Version
Correctness of Generalisation and Customisation of Concurrent Model Synchronisation Based on Triple Graph Grammars
Propagation of Constraints along Model Transformations Based on Triple Graph Grammars: Long Version
Correctness, completeness, and consistency of equational data type specifications
Semantics of type theory : correctness, completeness and independence results
Correctness, completeness, and consistency of equational data type specifications
Formal Analysis of Functional Behaviour for Model Transformations Based on Triple Graph Grammars - Extended Version
On the Relationship of Model Transformations Based on Triple and Plain Graph Grammars (Long Version)
Triple graph grammars for multi-version models
Triple graph grammars for multi-version models
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
Semantical Correctness and Completeness of Model Transformations using Graph and Rule Transformation: Long Version
Correctness of Generalisation and Customisation of Concurrent Model Synchronisation Based on Triple Graph Grammars
Propagation of Constraints along Model Transformations Based on Triple Graph Grammars: Long Version
Correctness, completeness, and consistency of equational data type specifications
Semantics of type theory : correctness, completeness and independence results
Correctness, completeness, and consistency of equational data type specifications
Formal Analysis of Functional Behaviour for Model Transformations Based on Triple Graph Grammars - Extended Version
On the Relationship of Model Transformations Based on Triple and Plain Graph Grammars (Long Version)
Triple graph grammars for multi-version models
Triple graph grammars for multi-version models
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
Semantical Correctness and Completeness of Model Transformations using Graph and Rule Transformation: Long Version
Correctness of Generalisation and Customisation of Concurrent Model Synchronisation Based on Triple Graph Grammars
Propagation of Constraints along Model Transformations Based on Triple Graph Grammars: Long Version
Correctness, completeness, and consistency of equational data type specifications
Semantics of type theory : correctness, completeness and independence results
Correctness, completeness, and consistency of equational data type specifications
Formal Analysis of Functional Behaviour for Model Transformations Based on Triple Graph Grammars - Extended Version
On the Relationship of Model Transformations Based on Triple and Plain Graph Grammars (Long Version)
Triple graph grammars for multi-version models