import/CMSwp-all.marc indexed_doc en iso_8859_1 CMSwp-all.marc CMSwp-all.marc 98 MARCPlugin MARC 1995. Includes bibliographical references (p. 8) Grundy, John C. (John Collis) Computer software Development. Object-oriented programming (Computer science) OO (Computer system) Programming. Systems programming (Computer science) University of Waikato. Dept. of Computer Science. "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, Reeves, Steve, 1957- Towards an integrated refinement environment for formal program development / by Steve Reeves and John C. Grundy. SPE (Computer program) Hamilton, N.Z. : HASH6a30b66a3a5419ad674b26s98 1376384216 20130813 1376384308 20130813 HASH6a30/b66a3a54/19ad674b/26s98.dir <pre> LDR 01481cam 2200289 a 4500 001 281653 010 _o zbn95-98355 035 _a (nzNZBN)9306099 008 s1995 nz a b x eng d 035 _9 ABG-5388 092 _a QA75.5.W926 no.95/26 100 10 _a Reeves, Steve, _d 1957- 245 10 _a Towards an integrated refinement environment for formal program development / _c by Steve Reeves and John C. Grundy. 260 0 _a Hamilton, N.Z. : _b Department of Computer Science, University of Waikato, _c 1995. 300 _a 8 p. : _b ill. ; _c 30 cm. 490 1 _a Working paper series, _x 1170-487X ; _v 95/26 500 _a "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. 500 _a "August 1995" 504 _a Includes bibliographical references (p. 8) 630 00 _a SPE (Computer program) 650 0 _a Computer software _x Development. 650 0 _a Object-oriented programming (Computer science) 650 0 _a OO (Computer system) _x Programming. 650 0 _a Systems programming (Computer science) 700 1 _a Grundy, John C. _q (John Collis) 710 2 _a University of Waikato. _b Dept. of Computer Science. 830 0 _a Working paper series (University of Waikato. Dept. of Computer Science) ; _v 95/26 </pre>