The Community for Technology Leaders
Proceedings Technology of Object-Oriented Languages. TOOLS 27 (Cat. No.98EX224) (1998)
Beijing, China
Sept. 22, 1998 to Sept. 25, 1998
ISBN: 0-8186-9096-8
pp: 53
Kinh Nguyen , Victoria University of Technology
Tharam Dillon , La Trobe University
ABSTRACT
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

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.
doi:10.1109/TOOLS.1998.713587
95 ms
(Ver 3.3 (11022016))