Correctness, Completeness and Termination of Pattern-based Model-to-Model Transformation: 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-09
- Ereignis
-
Veröffentlichung
- (wo)
-
Berlin
- (wer)
-
Technische Universität Berlin
- (wann)
-
2020
- Urheber
- DOI
-
10.14279/depositonce-10259
- Handle
-
11303/11372
- URN
-
urn:nbn:de:101:1-2020061701593893091723
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
14.08.2025, 10:56 MESZ
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
- Orejas, Fernando
- Guerra, Esther
- Lara, Juan de
- Ehrig, Hartmut
- Technische Universität Berlin
Entstanden
- 2020
Ähnliche Objekte (12)
Semantical Correctness and Completeness of Model Transformations using Graph and Rule Transformation: Long Version
Correctness, completeness, and consistency of equational data type specifications
Completeness and Correctness of Model Transformations based on Triple Graph Grammars with Negative Application Conditions (Long Version)
On-the-Fly Construction, Correctness and Completeness of Model Transformations based on Triple Graph Grammars: Long Version
Übertragung universeller und spezieller Probleme in F-Morphismendarstellung
Termination criteria for model transformation
From algebraic module specifications to component concepts and integrated modeling techniques
Computing by graph transformation : a survey and annotated bibliography
Attributed graphs and typing : relationship between different representations
Unifying Petri nets : advances in Petri nets
FLEX : a flexible extension and integration concept for software development in KORSO and COMPASS
Fundamentals of algebraic specification, 2.. Module specifications and constraints
Semantical Correctness and Completeness of Model Transformations using Graph and Rule Transformation: Long Version
Correctness, completeness, and consistency of equational data type specifications
Completeness and Correctness of Model Transformations based on Triple Graph Grammars with Negative Application Conditions (Long Version)
On-the-Fly Construction, Correctness and Completeness of Model Transformations based on Triple Graph Grammars: Long Version
Übertragung universeller und spezieller Probleme in F-Morphismendarstellung
Termination criteria for model transformation
From algebraic module specifications to component concepts and integrated modeling techniques
Computing by graph transformation : a survey and annotated bibliography
Attributed graphs and typing : relationship between different representations
Unifying Petri nets : advances in Petri nets
FLEX : a flexible extension and integration concept for software development in KORSO and COMPASS
Fundamentals of algebraic specification, 2.. Module specifications and constraints
Semantical Correctness and Completeness of Model Transformations using Graph and Rule Transformation: Long Version
Correctness, completeness, and consistency of equational data type specifications
Completeness and Correctness of Model Transformations based on Triple Graph Grammars with Negative Application Conditions (Long Version)
On-the-Fly Construction, Correctness and Completeness of Model Transformations based on Triple Graph Grammars: Long Version
Übertragung universeller und spezieller Probleme in F-Morphismendarstellung
Termination criteria for model transformation
From algebraic module specifications to component concepts and integrated modeling techniques
Computing by graph transformation : a survey and annotated bibliography
Attributed graphs and typing : relationship between different representations
Unifying Petri nets : advances in Petri nets
FLEX : a flexible extension and integration concept for software development in KORSO and COMPASS