Institutional Repository

Towards the formalisation of object-oriented methodologies

Show simple item record

dc.contributor.advisor Van der Poll, J A
dc.contributor.advisor Venter, Lucas Adesina-Ojo, Ayodele Adeola 2013-10-29T08:24:12Z 2013-10-29T08:24:12Z 2011-06
dc.identifier.citation Adesina-Ojo, Ayodele Adeola (2011) Towards the formalisation of object-oriented methodologies, University of South Africa, Pretoria, <> en
dc.description.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. en
dc.format.extent 1 online resource (x, 143 p.)
dc.language.iso en en
dc.subject Object-orientation
dc.subject UML
dc.subject Object-Oriented Formal Methods (OOFMs)
dc.subject Formal methods
dc.subject Z++
dc.subject.ddc 005.117
dc.subject.ddc Object-oriented methods (Computer science)
dc.subject.ddc Formal methods (Computer science)
dc.subject.ddc Computer software
dc.title Towards the formalisation of object-oriented methodologies en
dc.type Thesis en
dc.description.department Information Science M.Sc.(Information Systems)

Files in this item

This item appears in the following Collection(s)

Show simple item record

Search UnisaIR


My Account