Advanced search options

Advanced Search Options 🞨

Browse by author name (“Author name starts with…”).

Find ETDs with:

in
/  
in
/  
in
/  
in

Written in Published in Earliest date Latest date

Sorted by

Results per page:

You searched for subject:(Diagrammatic notation). One record found.

Search Limiters

Last 2 Years | English Only

No search limiters apply to these results.

▼ Search Limiters


University of South Africa

1. Moremedi, Kobamelo. Towards a comparative evaluation of text-based specification formalisms and diagrammatic notations.

Degree: 2015, University of South Africa

Specification plays a vital role in software engineering to facilitate the development of highly dependable software. The importance of specification in software development is to serve, amongst others, as a communication tool for stakeholders in the software project. The specification also adds to the understanding of operations, and describes the properties of a system. Various techniques may be used for specification work. Z is a formal specification language that is based on a strongly-typed fragment of Zermelo-Fraenkel set theory and first-order logic to provide for precise and unambiguous specifications. Z uses mathematical notation to build abstract data, which is necessary for a specification. The role of abstraction is to describe what the system does without prescribing how it should be done. Diagrams, on the other hand, have also been used in various areas, and in software engineering they could be used to add a visual component to software specifications. It is plausible that diagrams may also be used to reason in a semi-formal way about the properties of a specification. Many diagrammatic languages are based on contours and set theory. Examples of these languages are Euler-, Spider-, Venn- and Pierce diagrams. Euler diagrams form the foundation of most diagrams that are based on closed curves. Diagrams, on the other hand, have also been used in various areas, and in software engineering they could be used to add a visual component to software specifications. It is plausible that diagrams may also be used to reason in a semi-formal way about the properties of a specification. Many diagrammatic languages are based on contours and set theory. Examples of these languages are Euler-, Spider-, Venn- and Pierce diagrams. Euler diagrams form the foundation of most diagrams that are based on closed curves. The purpose of this research is to demonstrate the extent to which diagrams can be used to represent a Z specification. A case study is used to transform the specification modelled with Z language into a diagrammatic specification. Euler, spider, Venn and Pierce diagrams are combined for this purpose, to form one diagrammatic notation that is used to transform a Z specification Advisors/Committee Members: Van der Poll, John Andrew (advisor).

Subjects/Keywords: Case study; Diagrammatic notation; Formal specification; Set theory; Spider diagrams; Venn diagrams; Euler diagrams; UML; Venn-Pierce diagrams; Z

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Moremedi, K. (2015). Towards a comparative evaluation of text-based specification formalisms and diagrammatic notations. (Masters Thesis). University of South Africa. Retrieved from http://hdl.handle.net/10500/21938

Chicago Manual of Style (16th Edition):

Moremedi, Kobamelo. “Towards a comparative evaluation of text-based specification formalisms and diagrammatic notations.” 2015. Masters Thesis, University of South Africa. Accessed October 22, 2019. http://hdl.handle.net/10500/21938.

MLA Handbook (7th Edition):

Moremedi, Kobamelo. “Towards a comparative evaluation of text-based specification formalisms and diagrammatic notations.” 2015. Web. 22 Oct 2019.

Vancouver:

Moremedi K. Towards a comparative evaluation of text-based specification formalisms and diagrammatic notations. [Internet] [Masters thesis]. University of South Africa; 2015. [cited 2019 Oct 22]. Available from: http://hdl.handle.net/10500/21938.

Council of Science Editors:

Moremedi K. Towards a comparative evaluation of text-based specification formalisms and diagrammatic notations. [Masters Thesis]. University of South Africa; 2015. Available from: http://hdl.handle.net/10500/21938

.