Object-Oriented Design with Box Structures

Publisher Website

1 January 1994

book chapter
Published by Springer Nature

p. 191-211
https://doi.org/10.1007/978-1-4615-1791-7_13

Abstract

No abstract available

Keywords

This publication has 4 references indexed in Scilit:

Functional refinement and nested objects for object-oriented design
IEEE Transactions on Software Engineering, 1989
Stepwise refinement and verification in box-structured systems
Computer, 1988
Type theories and object-oriented programmimg
ACM Computing Surveys, 1988
Object-oriented development
IEEE Transactions on Software Engineering, 1986