Objects and their Specification

@inproceedings{Ehrich1991ObjectsAT,
  title={Objects and their Specification},
  author={Hans-Dieter Ehrich and Martin Gogolla and Am{\'i}lcar Sernadas},
  booktitle={COMPASS/ADT},
  year={1991}
}
Object{oriented concepts and constructions are explained in an informal and language{independent way. Various algebraic approaches for dealing with objects and their speciication are examined, ADT{based ones as well as pro-cess{based ones. The conclusion is that the process view of objects seems to be more appropriate than the data type view. 

From This Paper

Topics from this paper.

Citations

Publications citing this paper.
Showing 1-10 of 19 extracted citations

Transactions and Database Dynamics

Lecture Notes in Computer Science • 2000
View 10 Excerpts
Highly Influenced

Design and Implementation of DSL via Category Theoretic Computations

2009 Fourth International Conference on Frontier of Computer Science and Technology • 2009
View 1 Excerpt

Knowledge-Based Support for Object-Oriented Software Design and Synthesis: a category theoretic approach

Sixth International Conference on Intelligent Systems Design and Applications • 2006

References

Publications referenced by this paper.
Showing 1-9 of 9 references

Formal Speci cation of Object Systems

Ralf, JungclausGunter, SaakeAbt
1991

Fundamental Object Concepts and Constructions

H.-D. Ehrich, A. Sernadas
- formation Systems { Correctness and Reusability , Proc . ISCORE Workshop ' 91 Informatik { Berichte 91 { 03 , Tech . Univ . Braunschweig • 1991

Combining data type speci cations and recursive process speci cationsusing projection algebras

H. Ehrig, F. Parisi-Presicce, P. Boehm, C. Rieckho
1990

From Data Types to Object Types

Elektronische Informationsverarbeitung und Kybernetik • 1990

From Processes to Objects

A. Sernadas, H.-D. Ehrich
The INESCJournal of Research and Development • 1990

Objects as Non { Sequential Machines

A. Sernadas
- formation Systems { Correctness and Reusability , Proc . ISCORE Workshop ' 91 Informatik { Berichte 91 { 03 , Tech . Univ . Braunschweig • 1989

Similar Papers

Loading similar papers…