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