Semantical Correctness and Completeness of Model Transformations using Graph and Rule Transformation: 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 ; 2008-13
- Event
-
Veröffentlichung
- (where)
-
Berlin
- (who)
-
Technische Universität Berlin
- (when)
-
2020
- Creator
- DOI
-
10.14279/depositonce-10285
- Handle
-
11303/11401
- URN
-
urn:nbn:de:101:1-2020062402065631426736
- 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
- Ermel, Claudia
- Technische Universität Berlin
Time of origin
- 2020
Other Objects (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