In object oriented system development, the typical practice is to move from some dominantly graphical design model directly to coding. Though such practice is generally accepted, we argue that the gap is still too big, and demonstrate that it can be effectively reduced by exploiting the system operations, formal specification and prototyping.
Index Terms:
Object oriented system development, modelling, Object-Z, prototyping
Citation:
Kinh Nguyen, Tharam Dillon, "Bridging the Gap Between Object Oriented Design and Implementation," tools, pp.53, Technology of Object-Oriented Languages and Systems, 1998