import/CMSwp-all.00000001/00000096.nul indexed_doc NulPlugin 0 00000096.nul 00000096.nul CMSwp-all.00000001/00000096.nul 1 Reeves, Steve, 1957- Grundy, John C. (John Collis) University of Waikato. Dept. of Computer Science. 1995. "This paper describes an integrated environment for for software development which embodies the aim of formal program development... presents the design for a new refinement environment which extends previous work by the authors in supporting formal Object-Z specification views in an integrated CASE tool environment."--P. 1. "August 1995" Includes bibliographical references (p. 8) Hamilton, N.Z. : Department of Computer Science, University of Waikato, SPE (Computer program) Computer software Development. Object-oriented programming (Computer science) OO (Computer system) Programming. Systems programming (Computer science) Towards an integrated refinement environment for formal program development / by Steve Reeves and John C. Grundy. 00000096 HASH01390e0623954826255d8c05 1522045362 20180326 1522045419 20180326 HASH0139/0e062395.dir This document has no text.