import/CMSwp-all.marc url indexed_doc en utf8 CMSwp-all.marc CMSwp-all.marc 96 MARCPlugin MARC Reeves, Steve, 1957- Towards an integrated refinement environment for formal program development / by Steve Reeves and John C. Grundy. Hamilton, N.Z. : Department of Computer Science, University of Waikato, 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) SPE (Computer program) Computer software Development. Object-oriented programming (Computer science) OO (Computer system) Programming. Systems programming (Computer science) Grundy, John C. (John Collis) University of Waikato. Dept. of Computer Science. HASH6a30b66a3a5419ad674b26s96 1678162979 20230307 1678163025 20230307 HASH6a30/b66a3a54/19ad674b/26s96.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>