Formal methods have been shown to be beneficial in increasing the quality of, and
confidence in software systems. Despite the advantages of using formal methods
in software development, the uptake in the commercial industry has been limited
where the use of informal and semi-formal notations is favoured. To bridge the gap
between the ease-of-use of semi-formal notation and correctness of formal methods,
a number of approaches to the formalisation of informal and semi-formal notation
have been researched and documented. Two of these approaches are discussed in
this dissertation using a medium-sized case study to demonstrate the approaches.
It was shown that each approach offered results that differed in terms of levels of
abstraction, requisite knowledge of the formal target specification language and
potential for automation. / Information Science / M.Sc.(Information Systems)
| Identifer | oai:union.ndltd.org:netd.ac.za/oai:union.ndltd.org:unisa/oai:uir.unisa.ac.za:10500/11957 |
| Date | 06 1900 |
| Creators | Adesina-Ojo, Ayodele Adeola |
| Contributors | Van der Poll, J A, Venter, Lucas |
| Source Sets | South African National ETD Portal |
| Language | English |
| Detected Language | English |
| Type | Thesis |
| Format | 1 online resource (x, 143 p.) |
Page generated in 0.0201 seconds