Deutsch
 
Hilfe Datenschutzhinweis Impressum
  DetailsucheBrowse

Datensatz

DATENSATZ AKTIONENEXPORT
Zur Ablage hinzufügen
 Lokale TagsFreigabegeschichteDetailsÜbersicht
  Relations between Abstract Datatypes modeled as Abstract Datatypes

Baumeister, H. (1999). Relations between Abstract Datatypes modeled as Abstract Datatypes. PhD Thesis, Universität des Saarlandes, Saarbrücken.

Item is

 

einblenden: alle ausblenden: alle

Basisdaten

einblenden: ausblenden:
Datensatz-Permalink: https://hdl.handle.net/11858/00-001M-0000-000F-354F-B Versions-Permalink: https://hdl.handle.net/11858/00-001M-0000-0024-AD0D-D
Genre: Hochschulschrift

Dateien

einblenden: Dateien
ausblenden: Dateien
:
dissview.dvi (beliebiger Volltext), 892KB
 
Datei-Permalink:
-
Name:
dissview.dvi
Beschreibung:
-
OA-Status:
Sichtbarkeit:
Privat
MIME-Typ / Prüfsumme:
application/x-dvi
Technische Metadaten:
Copyright Datum:
-
Copyright Info:
-
Lizenz:
-

Externe Referenzen

einblenden:

Urheber

einblenden:
ausblenden:
 Urheber:
Baumeister, Hubert1, Autor           
Affiliations:
1Programming Logics, MPI for Informatics, Max Planck Society, ou_40045              

Inhalt

einblenden:
ausblenden:
Schlagwörter: -
 Zusammenfassung: In this thesis we define a framework for the specification of dynamic behavior of software systems. This framework is motivated by the state as algebra approach and the model-oriented language Z. From the state as algebra approach we use the idea of modeling the environment and the state components as structures of an institution. However, in contrast to the state as algebra approach, states in our framework are modeled by structures from any suitable institution not only those having of algebras as their structures. From Z we use the idea that environment, state spaces and relations between state spaces are specified using the same logic and how more complex relations can be constructed from simpler ones by means of the schema calculus. However, we differ from Z in that our framework can be instantiated by different institutions, while the approach of Z can only work because of the particular logical system used by Z.

Details

einblenden:
ausblenden:
Sprache(n): eng - English
 Datum: 2010-03-121999-05-211999
 Publikationsstatus: Erschienen
 Seiten: -
 Ort, Verlag, Ausgabe: Saarbrücken : Universität des Saarlandes
 Inhaltsverzeichnis: -
 Art der Begutachtung: -
 Identifikatoren: eDoc: 519758
Anderer: Local-ID: C1256104005ECAFC-259AAD6E949570BFC12568A900543BDC-BaumeisterDiss99
 Art des Abschluß: Doktorarbeit

Veranstaltung

einblenden:

Entscheidung

einblenden:

Projektinformation

einblenden:

Quelle

einblenden: