Improving Software using Requirements Formalisation.
Greg Reeve · 1999
This presentation gives a brief overview of a recently started, Public Good Science Fund (PGSF) funded research project, which is running under the auspices of the government's Foundation for Research, Science and Technology (FoRST or FRST). This project comes within the broad subject area of `Formal Methods' and specifically concerns the use of formalisation during the requirements and specification stages of typical software development projects. Also a brief discussion and some anecdotal results of a survey conducted on current practises of the New Zealand software industry and an introduction to the style of formalisation and tools the project will be using.