A-G H-L M-P R-Z
close this section of the libraryReeves, S.V. (13)
Atomic components (2004)
S.V. Reeves and D. Streader
Working Paper No. 01/2004
Comparison of data and process refinement (2003)
S.V. Reeves and D. Streader
Working Paper No. 05/03
Constructing programs or processes (2005)
S.V. Reeves and D. Streader
Working Paper No. 09/2005
Experiences using Z animation tools (2001)
G.R. Reeve and S.V. Reeves
Working Paper No. 01/3
A logic for the schema calculus (1998)
M.C. Henson and S.V. Reeves
Working Paper No. 98/5
m-charts and Z: extending the translation (2000)
G.R. Reeve and S.V. Reeves
Working Paper No. 00/11
m-charts and Z: hows, whys and wherefores (2000)
G.R. Reeve and S.V. Reeves
Working Paper No. 00/6
New foundations for Z (1998)
M.C. Henson and S.V. Reeves
Working Paper No. 98/6
Revising Z: semantics and logic (1998)
M.C. Henson and S.V. Reeves
Working Paper No. 98/4
Stepwise refinement of processes (2005)
S.V. Reeves and D. Streader
Working Paper No. 07/2005
A survey of software requirements specification practices in the New Zealand software industry (1999)
L. Groves, R. Nickson, G.R. Reeve, S.V. Reeves and B.M. Utting
Working Paper No. 99/8
The syntax and semantics of m-Charts (2004)
G.R. Reeve and S.V. Reeves
Working Paper No. 04/2004
Unifying state and process determinism (2004)
S.V. Reeves and D. Streader
Working Paper No. 02/2004

Working Papers Series, ISSN: 1170-487X

Contact: working-papers@cs.waikato.ac.nz

Department of Computer Science, University of Waikato, Hamilton, New Zealand.

a Greenstone Digital Library