English
 
Help Privacy Policy Disclaimer
  Advanced SearchBrowse

Item

ITEM ACTIONSEXPORT
 
 
DownloadE-Mail
 Local TagsRelease HistoryDetailsSummary
  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

 

show all hide all

Basic

show hide
Item Permalink: https://hdl.handle.net/11858/00-001M-0000-000F-354F-B Version Permalink: https://hdl.handle.net/11858/00-001M-0000-0024-AD0D-D
Genre: Thesis

Files

show Files
hide Files
:
dissview.dvi (Any fulltext), 892KB
 
File Permalink:
-
Name:
dissview.dvi
Description:
-
OA-Status:
Visibility:
Private
MIME-Type / Checksum:
application/x-dvi
Technical Metadata:
Copyright Date:
-
Copyright Info:
-
License:
-

Locators

show

Creators

show
hide
 Creators:
Baumeister, Hubert1, Author           
Affiliations:
1Programming Logics, MPI for Informatics, Max Planck Society, ou_40045              

Content

show
hide
Free keywords: -
 Abstract: 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

show
hide
Language(s): eng - English
 Dates: 2010-03-121999-05-211999
 Publication Status: Issued
 Pages: -
 Publishing info: Saarbrücken : Universität des Saarlandes
 Table of Contents: -
 Rev. Type: -
 Identifiers: eDoc: 519758
Other: Local-ID: C1256104005ECAFC-259AAD6E949570BFC12568A900543BDC-BaumeisterDiss99
 Degree: PhD

Event

show

Legal Case

show

Project information

show

Source

show