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.00000001/00000098.nul</Metadata>
|
---|
7 | <Metadata name="gsdldoctype">indexed_doc</Metadata>
|
---|
8 | <Metadata name="Plugin">NulPlugin</Metadata>
|
---|
9 | <Metadata name="FileSize">0</Metadata>
|
---|
10 | <Metadata name="Source">00000098.nul</Metadata>
|
---|
11 | <Metadata name="SourceFile">00000098.nul</Metadata>
|
---|
12 | <Metadata name="null_file">CMSwp-all.00000001/00000098.nul</Metadata>
|
---|
13 | <Metadata name="NoText">1</Metadata>
|
---|
14 | <Metadata name="exp.Creator">Grundy, John C. (John Collis)</Metadata>
|
---|
15 | <Metadata name="exp.Creator">University of Waikato. Dept. of Computer Science.</Metadata>
|
---|
16 | <Metadata name="exp.Creator">Reeves, Steve, 1957-</Metadata>
|
---|
17 | <Metadata name="exp.Date">1995.</Metadata>
|
---|
18 | <Metadata name="exp.Description">Includes bibliographical references (p. 8)</Metadata>
|
---|
19 | <Metadata name="exp.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>
|
---|
20 | <Metadata name="exp.Description">"August 1995"</Metadata>
|
---|
21 | <Metadata name="exp.Publisher">Department of Computer Science, University of Waikato,</Metadata>
|
---|
22 | <Metadata name="exp.Publisher">Hamilton, N.Z. :</Metadata>
|
---|
23 | <Metadata name="exp.Subject">Computer software Development.</Metadata>
|
---|
24 | <Metadata name="exp.Subject">Object-oriented programming (Computer science)</Metadata>
|
---|
25 | <Metadata name="exp.Subject">OO (Computer system) Programming.</Metadata>
|
---|
26 | <Metadata name="exp.Subject">Systems programming (Computer science)</Metadata>
|
---|
27 | <Metadata name="exp.Subject">SPE (Computer program)</Metadata>
|
---|
28 | <Metadata name="exp.Title">Towards an integrated refinement environment for formal program development / by Steve Reeves and John C. Grundy.</Metadata>
|
---|
29 | <Metadata name="Title">00000098</Metadata>
|
---|
30 | <Metadata name="Identifier">HASH0179160723b54a2665658d05</Metadata>
|
---|
31 | <Metadata name="lastmodified">1395194707</Metadata>
|
---|
32 | <Metadata name="lastmodifieddate">20140319</Metadata>
|
---|
33 | <Metadata name="oailastmodified">1395194842</Metadata>
|
---|
34 | <Metadata name="oailastmodifieddate">20140319</Metadata>
|
---|
35 | <Metadata name="assocfilepath">HASH0179/160723b5.dir</Metadata>
|
---|
36 | </Description>
|
---|
37 | <Content>This document has no text.</Content>
|
---|
38 | </Section>
|
---|
39 | </Archive>
|
---|