Algebraic Specification Techniques in Object Oriented Programming Environments
The main aim of this monograph is to provide a framework for the integrated design of object-oriented programs with algebraic specification techniques. The design method pursued relies fundamentally on the structuring of systems based on the notion of data types. Depending on the level of abstractio...
| Main Author: | |
|---|---|
| Format: | eBook |
| Language: | English |
| Published: |
Berlin, Heidelberg
Springer Berlin Heidelberg
1991, 1991
|
| Edition: | 1st ed. 1991 |
| Series: | Lecture Notes in Computer Science
|
| Subjects: | |
| Online Access: | |
| Collection: | Springer Book Archives -2004 - Collection details see MPG.ReNa |
Table of Contents:
- An integrated environment of classes and algebraic specifications — Basic notions and concepts
- A semantic framework of abstract data types
- A theory of inheritance, subtyping and clientship
- OS — An object oriented algebraic specification language
- OP — An object oriented kernel programming language
- An integrated design environment of classes and algebraic specifications
- Final remarks