ISuRF: Improving Software using Requirements Formalization

ISuRF is a project is funded by the government's Public Good Science Fund (PGSF), administered by the Foundation for Research, Science and Technology (FRST).

This is a joint project between the University of Waikato and Victoria University of Wellington. Current project members are Steve Reeves and Mark Utting (Waikato), and Lindsay Groves, Ray Nickson at Richard Mansfield and Tracey Yao (VUW). Greg Reeve was formerly a Research Assitant for the project.

Public links

(Private links for project members only)

School of Engineering and Computer Science
School of Mathematics, Statistics and Operations Research
 
DisclaimerBack to top ^

Page Updated: 25 May 2001. © Victoria University of Wellington, New Zealand, unless otherwise stated