Semantical Correctness and Completeness of Model Transformations using Graph and Rule 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 ; 2008-13
- Ereignis
-
Veröffentlichung
- (wo)
-
Berlin
- (wer)
-
Technische Universität Berlin
- (wann)
-
2020
- Urheber
- DOI
-
10.14279/depositonce-10285
- Handle
-
11303/11401
- URN
-
urn:nbn:de:101:1-2020062402065631426736
- 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
- Ermel, Claudia
- Technische Universität Berlin
Entstanden
- 2020
Ähnliche Objekte (12)
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
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
Analysis and correctness of algebraic graph and model transformations
Correctness and completeness of a categorical semantics of the calculus of constructions
Correctness and completeness of a categorical semantics of the calculus of constructions
Correctness and completeness of a categorical semantics of the calculus of constructions
Correctness, Completeness and Termination of Pattern-based Model-to-Model Transformation: Long Version
Towards correctness of program transformations through unification and critical pair computation
Towards correctness of program transformations through unification and critical pair computation
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
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
Analysis and correctness of algebraic graph and model transformations
Correctness and completeness of a categorical semantics of the calculus of constructions
Correctness and completeness of a categorical semantics of the calculus of constructions
Correctness and completeness of a categorical semantics of the calculus of constructions
Correctness, Completeness and Termination of Pattern-based Model-to-Model Transformation: Long Version
Towards correctness of program transformations through unification and critical pair computation
Towards correctness of program transformations through unification and critical pair computation
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
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
Analysis and correctness of algebraic graph and model transformations
Correctness and completeness of a categorical semantics of the calculus of constructions
Correctness and completeness of a categorical semantics of the calculus of constructions
Correctness and completeness of a categorical semantics of the calculus of constructions
Correctness, Completeness and Termination of Pattern-based Model-to-Model Transformation: Long Version
Towards correctness of program transformations through unification and critical pair computation