Towards the formalisation of object-oriented methodologies
Loading...
Authors
Adesina-Ojo, Ayodele Adeola
Issue Date
2011-06
Type
Thesis
Language
en
Keywords
Object-orientation , UML , Object-Oriented Formal Methods (OOFMs) , Formal methods , Z++
Alternative Title
Abstract
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.
Description
Citation
Adesina-Ojo, Ayodele Adeola (2011) Towards the formalisation of object-oriented methodologies, University of South Africa, Pretoria, <http://hdl.handle.net/10500/11957>