| From any Requirements Specification, the intention is to develop a workable system. It is therefore the responsibility of the Requirements Engineer to state the requirements in such a way as to minimize ambiguity and increase precision.;Formal methods were developed to express requirements which were not open to interpretation (Hayes, 1987). They are best used in areas that suit expression via mathematics (Barden et al., 1994). Spatially referenced data seems well suited to this type of specification due to the fact that it is represented by sets. Formal methods are best utilized in the areas of set acquisition, manipulation, retrieval and representation (Barden et al., 1994).;This thesis sets out to show that a Requirements Specification for a system using Spatially Referenced data can benefit in the areas of precision and reduced ambiguity with the integration of formal methods. Changes made to the Informal Requirements as a result of their formal specification will be used to show this. |
