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:( Axiomatic description). One record found.

Search Limiters

Last 2 Years | English Only

No search limiters apply to these results.

▼ Search Limiters


University of South Africa

1. Van Coppenhagen, Ingrid H. M. From specification through refinement to implementation : a comparative study .

Degree: 2002, University of South Africa

This dissertation investigates the role of specification, refinement and implementation in the software development cycle. Both the structured and object-oriented paradigms are looked at. Particular emphasis is placed on the role of the refinement process. The requirements for the product (system) are determined, the specifications are drawn up, the product is designed, specified, implemented and tested. The stage between the (formal) specification of the system and the implementation of the system is the refinement stage. The refinement process consists out of data refinement, operation refinement, and operation decomposition. In this dissertation, Z, Object-Z and UML (Unified Modelling Language) are used as specification languages and C, C++, Cobol and Object-Oriented Cobol are used as implementation languages. As an illustration a small system, The ITEM System, is specified in Z and UML and implemented in Object-Oriented Cobol. Advisors/Committee Members: Van der Poll, John Andrew (advisor), Kotze, Paula, 1956- (advisor).

Subjects/Keywords: Specification; Refinement; Implementation; Data refinement; Operation refinement; Operation decomposition; UML; Z; Object-Z; C; C++; Cobol; Object-Oriented Cobol; Software development life cycle; Structured; Object-oriented; Class; Object; Schema; Inheritence; Verification; Validation; Axiomatic description

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Van Coppenhagen, I. H. M. (2002). From specification through refinement to implementation : a comparative study . (Masters Thesis). University of South Africa. Retrieved from http://hdl.handle.net/10500/618

Chicago Manual of Style (16th Edition):

Van Coppenhagen, Ingrid H M. “From specification through refinement to implementation : a comparative study .” 2002. Masters Thesis, University of South Africa. Accessed October 18, 2019. http://hdl.handle.net/10500/618.

MLA Handbook (7th Edition):

Van Coppenhagen, Ingrid H M. “From specification through refinement to implementation : a comparative study .” 2002. Web. 18 Oct 2019.

Vancouver:

Van Coppenhagen IHM. From specification through refinement to implementation : a comparative study . [Internet] [Masters thesis]. University of South Africa; 2002. [cited 2019 Oct 18]. Available from: http://hdl.handle.net/10500/618.

Council of Science Editors:

Van Coppenhagen IHM. From specification through refinement to implementation : a comparative study . [Masters Thesis]. University of South Africa; 2002. Available from: http://hdl.handle.net/10500/618

.