Object-Oriented Specification and Stepwise Refinement

Gunter Saake, Ralf Jungclaus, Hans-Dieter Ehrich. Object-Oriented Specification and Stepwise Refinement. In Jan de Meer, Volker Heymer, Rudolf Roth, editors, Open Distributed Processing: Proceedings of the IFIP TC6/WG6.4 International Workshop on Open Distributed Processing, Berlin, Germany, 8-11 October 1991. Volume C-1 of IFIP Transactions, pages 99-121, North-Holland, 1991.

Abstract

Abstract is missing.