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 1487129791 20170215 1487129931 20170215 HASH0139/0e062395.dir This document has no text.