Completeness and Correctness of Model Transformations based on Triple Graph Grammars with Negative Application Conditions (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-03
- Event
-
Veröffentlichung
- (where)
-
Berlin
- (who)
-
Technische Universität Berlin
- (when)
-
2020
- Creator
- DOI
-
10.14279/depositonce-10255
- Handle
-
11303/11368
- URN
-
urn:nbn:de:101:1-2020061702131760604558
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:45 PM CET
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
- Hermann, Frank
- Sartorius, Christoph
- Technische Universität Berlin
Time of origin
- 2020
Other Objects (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