import/CMSwp-all.00000001/00000098.nul indexed_doc NulPlugin 0 00000098.nul 00000098.nul CMSwp-all.00000001/00000098.nul 1 Grundy, John C. (John Collis) University of Waikato. Dept. of Computer Science. Reeves, Steve, 1957- 1995. Includes bibliographical references (p. 8) "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" Department of Computer Science, University of Waikato, Hamilton, N.Z. : Computer software Development. Object-oriented programming (Computer science) OO (Computer system) Programming. Systems programming (Computer science) SPE (Computer program) Towards an integrated refinement environment for formal program development / by Steve Reeves and John C. Grundy. 00000098 HASH0179160723b54a2665658d05 1395214952 20140319 1395215080 20140319 HASH0179/160723b5.dir This document has no text.