Department of Computer Science

Improving Software using Requirements Formalization - ISuRF

Publications
  
 
 

Reeve, G. and Reeves, S. (2001) Experiences Using Z Animation Tools. Technical report 01/3. Department of Computer Science, University of Waikato, May 2001. (Available here .)

Reeve, G. and Reeves, S. (2000) μ-Charts and Z: Examples and Extensions. Proceedings of APSEC2000. IEEE Computer Society. December 2000. pp. 258-263.

Reeve, G. and Reeves, S. (2000) μ-Charts and Z: Hows, Whys and Wherefores. Proceedings of IFM2000, LNCS 1945. (eds.) W. Grieskamp, T. Santen, B. Stoddart. Springer.
November 2000. pp. 256-276.

Reeve, G. and Reeves, S. (2000) μ-Charts and Z: Extending the Translation. Technical report 00/11, Department of Computer Science, University of Waikato, New Zealand, June
2000.

Reeves, S. (2000) Survey tackles software development issues. InfoTech Weekly, issue 438,  23rd April 2000. See here.

Groves, L., Nickson, R., Reeve, G., Reeves, S. and Utting, M. (2000) A survey of software requirements specification practices in the New Zealand software industry. Proceedings
ASWEC 2000: Australian Software Engineering Conference 2000. (ed.) D. D. Grant. IEEE Computer Society. pp. 189-201.

Reeve, G. and Reeves, S. (2000) μ-Charts and Z: hows, whys and wherefores. Technical report 06/00, Department of Computer Science, University of Waikato, New Zealand, March 2000. (gzipped postscript available here.)

L. Groves, R. Nickson, G. Reeve, S. Reeves and M. Utting (1999) A survey of software requirements specification practices in the New Zealand software industry.Working Paper 99/8, Department of Computer Science, University of Waikato, 1999.  (gzipped postscript available here; PDF format available here).

Groves, L., Nickson, R., Reeve, G., Reeves, S. and Utting, M. (1999) Improving Software using Requirements Formalisation. Proceedings of the 5th New Zealand Formal Program Development Colloquium. N. Leslie (ed.), IIMS Technical report 99-1, Massey University at Albany, Auckland, New Zealand. pp. 35-38.

G. Reeve (1999) Improving Software using Requirements Formalization Proc. 3rd New Zealand Computer Science Research Students' Conference, April 1999, pp. 70-77. Department of Computer Science, University of Waikato, New Zealand.
 
 
 

Back to ISuRF page
 

Web-administrator, Department of Computer Science, University of Waikato, Hamilton, New Zealand