Correctness, completeness, and consistency of equational data type specifications
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
Berlin, Technische Universität Berlin, Dissertation, 1983
- Schlagwort
-
Software
Software
- Ereignis
-
Veröffentlichung
- (wo)
-
Berlin
- (wer)
-
Technische Universität Berlin
- (wann)
-
2016
- Urheber
-
Padawitz, Peter
- Beteiligte Personen und Organisationen
- DOI
-
10.14279/depositonce-5437
- Handle
-
11303/5835
- URN
-
urn:nbn:de:101:1-201804162846
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
14.08.2025, 10:47 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
- Padawitz, Peter
- Ehrig, Hartmut
- Siefkes, Dirk
- Technische Universität Berlin
Entstanden
- 2016
Ähnliche Objekte (12)
Semantical Correctness and Completeness of Model Transformations using Graph and Rule Transformation: Long Version
Abstract and behaviour module specifications
Structural theory of algebraic specifications in a specification logic, Pt. 1.. Functorial parameterized specifications
Fundamentals of algebraic specification, 2.. Module specifications and constraints
From algebraic module specifications to component concepts and integrated modeling techniques
Übertragung universeller und spezieller Probleme in F-Morphismendarstellung
Completeness and Correctness of Model Transformations based on Triple Graph Grammars with Negative Application Conditions (Long Version)
Correctness, Completeness and Termination of Pattern-based Model-to-Model Transformation: Long Version
Algebraic data type and process specifications based on projection spaces
Transformation of combined data type and process specifications using projection algebras
On-the-Fly Construction, Correctness and Completeness of Model Transformations based on Triple Graph Grammars: Long Version
Correctness, completeness, and consistency of equational data type specifications
Semantical Correctness and Completeness of Model Transformations using Graph and Rule Transformation: Long Version
Abstract and behaviour module specifications
Structural theory of algebraic specifications in a specification logic, Pt. 1.. Functorial parameterized specifications
Fundamentals of algebraic specification, 2.. Module specifications and constraints
From algebraic module specifications to component concepts and integrated modeling techniques
Übertragung universeller und spezieller Probleme in F-Morphismendarstellung
Completeness and Correctness of Model Transformations based on Triple Graph Grammars with Negative Application Conditions (Long Version)
Correctness, Completeness and Termination of Pattern-based Model-to-Model Transformation: Long Version
Algebraic data type and process specifications based on projection spaces
Transformation of combined data type and process specifications using projection algebras
On-the-Fly Construction, Correctness and Completeness of Model Transformations based on Triple Graph Grammars: Long Version
Correctness, completeness, and consistency of equational data type specifications
Semantical Correctness and Completeness of Model Transformations using Graph and Rule Transformation: Long Version
Abstract and behaviour module specifications
Structural theory of algebraic specifications in a specification logic, Pt. 1.. Functorial parameterized specifications
Fundamentals of algebraic specification, 2.. Module specifications and constraints
From algebraic module specifications to component concepts and integrated modeling techniques
Übertragung universeller und spezieller Probleme in F-Morphismendarstellung
Completeness and Correctness of Model Transformations based on Triple Graph Grammars with Negative Application Conditions (Long Version)
Correctness, Completeness and Termination of Pattern-based Model-to-Model Transformation: Long Version
Algebraic data type and process specifications based on projection spaces
Transformation of combined data type and process specifications using projection algebras
On-the-Fly Construction, Correctness and Completeness of Model Transformations based on Triple Graph Grammars: Long Version