Campus Event Calendar
Event Entry
What and Who
Using Algebraic Specification Languages for Model Oriented Specifications
Hubert Baumeister
MPI Saarbruecken
Logik-Seminar
AG 1, AG 2, AG 3, INET, AG 4, AG 5, D6, RG1, SWS
AG Audience
English
Note: We use this to send email in the morning.
Date, Time and Location
Tuesday, 29 August 95
16:15
60 Minutes
44 - MPII
117
Saarbrücken
Abstract
It is common belief that there is a substantial difference between
model-oriented (e.g. Z and VDM) and algebraic specification languages
(e.g. LSL and ACT-ONE) wrt. their applicability to the specification
of software systems. While model-oriented specification languages
are assumed to be suited better for the description of state based
systems, algebraic specification languages are assumed to be better
for abstract datatype specifications.
In this talk we shall demonstrate how an algebraic specification
language can be used to write specifications in a style typically
associated with model-oriented specification languages.
Contact
--email hidden
passcode not visible
logged in users only
Tags, Category, Keywords and additional notes
algebraic specifications