1 | <?xml version="1.0" encoding="utf-8" standalone="no"?>
|
---|
2 | <!DOCTYPE Archive SYSTEM "http://greenstone.org/dtd/Archive/1.0/Archive.dtd">
|
---|
3 | <Archive>
|
---|
4 | <Section>
|
---|
5 | <Description>
|
---|
6 | <Metadata name="gsdlsourcefilename">import/CMSwp-all.marc</Metadata>
|
---|
7 | <Metadata name="gsdldoctype">indexed_doc</Metadata>
|
---|
8 | <Metadata name="Language">en</Metadata>
|
---|
9 | <Metadata name="Encoding">iso_8859_1</Metadata>
|
---|
10 | <Metadata name="Source">CMSwp-all.marc</Metadata>
|
---|
11 | <Metadata name="SourceFile">CMSwp-all.marc</Metadata>
|
---|
12 | <Metadata name="SourceSegment">98</Metadata>
|
---|
13 | <Metadata name="Plugin">MARCPlugin</Metadata>
|
---|
14 | <Metadata name="FileFormat">MARC</Metadata>
|
---|
15 | <Metadata name="dc.Date">1995.</Metadata>
|
---|
16 | <Metadata name="dc.Description">Includes bibliographical references (p. 8)</Metadata>
|
---|
17 | <Metadata name="dc.Creator">Grundy, John C. (John Collis)</Metadata>
|
---|
18 | <Metadata name="dc.Subject">Computer software Development.</Metadata>
|
---|
19 | <Metadata name="dc.Subject">Object-oriented programming (Computer science)</Metadata>
|
---|
20 | <Metadata name="dc.Subject">OO (Computer system) Programming.</Metadata>
|
---|
21 | <Metadata name="dc.Subject">Systems programming (Computer science)</Metadata>
|
---|
22 | <Metadata name="dc.Creator">University of Waikato. Dept. of Computer Science.</Metadata>
|
---|
23 | <Metadata name="dc.Description">"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.</Metadata>
|
---|
24 | <Metadata name="dc.Description">"August 1995"</Metadata>
|
---|
25 | <Metadata name="dc.Publisher">Department of Computer Science, University of Waikato,</Metadata>
|
---|
26 | <Metadata name="dc.Creator">Reeves, Steve, 1957-</Metadata>
|
---|
27 | <Metadata name="dc.Title">Towards an integrated refinement environment for formal program development / by Steve Reeves and John C. Grundy.</Metadata>
|
---|
28 | <Metadata name="dc.Subject">SPE (Computer program)</Metadata>
|
---|
29 | <Metadata name="dc.Publisher">Hamilton, N.Z. :</Metadata>
|
---|
30 | <Metadata name="Identifier">HASH6a30b66a3a5419ad674b26s98</Metadata>
|
---|
31 | <Metadata name="lastmodified">1376384216</Metadata>
|
---|
32 | <Metadata name="lastmodifieddate">20130813</Metadata>
|
---|
33 | <Metadata name="oailastmodified">1376384308</Metadata>
|
---|
34 | <Metadata name="oailastmodifieddate">20130813</Metadata>
|
---|
35 | <Metadata name="assocfilepath">HASH6a30/b66a3a54/19ad674b/26s98.dir</Metadata>
|
---|
36 | </Description>
|
---|
37 | <Content><pre>
|
---|
38 | LDR 01481cam 2200289 a 4500
|
---|
39 | 001 281653
|
---|
40 | 010 _o zbn95-98355
|
---|
41 | 035 _a (nzNZBN)9306099
|
---|
42 | 008 s1995 nz a b x eng d
|
---|
43 | 035 _9 ABG-5388
|
---|
44 | 092 _a QA75.5.W926 no.95/26
|
---|
45 | 100 10 _a Reeves, Steve,
|
---|
46 | _d 1957-
|
---|
47 | 245 10 _a Towards an integrated refinement environment for formal
|
---|
48 | program development /
|
---|
49 | _c by Steve Reeves and John C. Grundy.
|
---|
50 | 260 0 _a Hamilton, N.Z. :
|
---|
51 | _b Department of Computer Science, University of
|
---|
52 | Waikato,
|
---|
53 | _c 1995.
|
---|
54 | 300 _a 8 p. :
|
---|
55 | _b ill. ;
|
---|
56 | _c 30 cm.
|
---|
57 | 490 1 _a Working paper series,
|
---|
58 | _x 1170-487X ;
|
---|
59 | _v 95/26
|
---|
60 | 500 _a "This paper describes an integrated environment for for
|
---|
61 | software development which embodies the aim of formal program
|
---|
62 | development... presents the design for a new refinement
|
---|
63 | environment which extends previous work by the authors in
|
---|
64 | supporting formal Object-Z specification views in an integrated
|
---|
65 | CASE tool environment."--P. 1.
|
---|
66 | 500 _a "August 1995"
|
---|
67 | 504 _a Includes bibliographical references (p. 8)
|
---|
68 | 630 00 _a SPE (Computer program)
|
---|
69 | 650 0 _a Computer software
|
---|
70 | _x Development.
|
---|
71 | 650 0 _a Object-oriented programming (Computer science)
|
---|
72 | 650 0 _a OO (Computer system)
|
---|
73 | _x Programming.
|
---|
74 | 650 0 _a Systems programming (Computer science)
|
---|
75 | 700 1 _a Grundy, John C.
|
---|
76 | _q (John Collis)
|
---|
77 | 710 2 _a University of Waikato.
|
---|
78 | _b Dept. of Computer Science.
|
---|
79 | 830 0 _a Working paper series (University of Waikato. Dept. of
|
---|
80 | Computer Science) ;
|
---|
81 | _v 95/26
|
---|
82 | </pre>
|
---|
83 | </Content>
|
---|
84 | </Section>
|
---|
85 | </Archive>
|
---|