Monografie
Semantical Correctness and Completeness of Model Transformations using Graph and Rule Transformation: Long Version
- Sprache
-
Englisch
- Identifier
-
121250898X
- Reihe
-
Forschungsberichte der Fakultät IV - Elektrotechnik und Informatik / Technische Universität Berlin; 2008-13
Beteiligte Personen und Organisationen
- DOI
-
10.14279/depositonce-10285
- URN
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
26.01.2023, 13:54 MEZ
Objekttyp
- Monografie
Ähnliche Objekte (12)
Evolution of Model Transformations by Model Refactoring: Long Version
On-the-Fly Construction, Correctness and Completeness of Model Transformations based on Triple Graph Grammars: Long Version
On the Relationship of Model Transformations Based on Triple and Plain Graph Grammars (Long Version)
Generalized Typed Attributed Graph Transformation Systems based on Morphisms Changing Type Graphs and Data Signature
Transformation of Type Graphs with Inheritance for Ensuring Security in E-Government Networks (Long Version)
Transfer of Local Confluence and Termination between Petri Net and Graph Transformation Systems Based on M-Functors: Extended Version
A Formal Resolution Strategy for Operation-Based Conicts in Model Versioning Using Graph Modications
Concurrent Model Synchronization with Conflict Resolution Based on Triple Graph Grammars - Extended Version
Functors between M-adhesive Categories Applied to Petri Net and Graph Transformation Systems
Analysis of Hypergraph Transformation Systems in AGG based on M-Functors: Extended Version
Correctness of Generalisation and Customisation of Concurrent Model Synchronisation Based on Triple Graph Grammars
Modeling and Analysis of Self-Adaptive Systems Based on Graph Transformation
Evolution of Model Transformations by Model Refactoring: Long Version
On-the-Fly Construction, Correctness and Completeness of Model Transformations based on Triple Graph Grammars: Long Version
On the Relationship of Model Transformations Based on Triple and Plain Graph Grammars (Long Version)
Generalized Typed Attributed Graph Transformation Systems based on Morphisms Changing Type Graphs and Data Signature
Transformation of Type Graphs with Inheritance for Ensuring Security in E-Government Networks (Long Version)
Transfer of Local Confluence and Termination between Petri Net and Graph Transformation Systems Based on M-Functors: Extended Version
A Formal Resolution Strategy for Operation-Based Conicts in Model Versioning Using Graph Modications
Concurrent Model Synchronization with Conflict Resolution Based on Triple Graph Grammars - Extended Version
Functors between M-adhesive Categories Applied to Petri Net and Graph Transformation Systems
Analysis of Hypergraph Transformation Systems in AGG based on M-Functors: Extended Version
Correctness of Generalisation and Customisation of Concurrent Model Synchronisation Based on Triple Graph Grammars
Modeling and Analysis of Self-Adaptive Systems Based on Graph Transformation
Evolution of Model Transformations by Model Refactoring: Long Version
On-the-Fly Construction, Correctness and Completeness of Model Transformations based on Triple Graph Grammars: Long Version
On the Relationship of Model Transformations Based on Triple and Plain Graph Grammars (Long Version)
Generalized Typed Attributed Graph Transformation Systems based on Morphisms Changing Type Graphs and Data Signature
Transformation of Type Graphs with Inheritance for Ensuring Security in E-Government Networks (Long Version)
Transfer of Local Confluence and Termination between Petri Net and Graph Transformation Systems Based on M-Functors: Extended Version
A Formal Resolution Strategy for Operation-Based Conicts in Model Versioning Using Graph Modications
Concurrent Model Synchronization with Conflict Resolution Based on Triple Graph Grammars - Extended Version
Functors between M-adhesive Categories Applied to Petri Net and Graph Transformation Systems
Analysis of Hypergraph Transformation Systems in AGG based on M-Functors: Extended Version
Correctness of Generalisation and Customisation of Concurrent Model Synchronisation Based on Triple Graph Grammars