Proceedings Technology of Object-Oriented Languages. TOOLS 27 (Cat. No.98EX224) (1998)
Sept. 22, 1998 to Sept. 25, 1998
Kinh Nguyen , Victoria University of Technology
Tharam Dillon , La Trobe University
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.
Object oriented system development, modelling, Object-Z, prototyping
T. Dillon and K. Nguyen, "Bridging the Gap Between Object Oriented Design and Implementation," Proceedings Technology of Object-Oriented Languages. TOOLS 27 (Cat. No.98EX224)(TOOLS), Beijing, China, 1998, pp. 53.