From specification through refinement to implementation : a comparative study

Van Coppenhagen, Ingrid H. M.

dc.contributor.advisor	Van der Poll, John Andrew
dc.contributor.advisor	Kotze, Paula, 1956-
dc.contributor.author	Van Coppenhagen, Ingrid H. M.
dc.date.accessioned	2009-08-25T10:45:13Z
dc.date.available	2009-08-25T10:45:13Z
dc.date.issued	2002-06
dc.date.submitted	2002-06-30
dc.identifier.citation	Van Coppenhagen, Ingrid H. M. (2002) From specification through refinement to implementation : a comparative study, University of South Africa, Pretoria, <http://hdl.handle.net/10500/618>	en
dc.identifier.uri	http://hdl.handle.net/10500/618
dc.description.abstract	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.	en
dc.format.extent	1 online resource (1 volume (various pagings))	en
dc.language.iso	en
dc.subject	Specification	en
dc.subject	Refinement	en
dc.subject	Implementation	en
dc.subject	Data refinement	en
dc.subject	Operation refinement	en
dc.subject	Operation decomposition	en
dc.subject	UML	en
dc.subject	Z	en
dc.subject	Object-Z	en
dc.subject	C	en
dc.subject	C++	en
dc.subject	Cobol	en
dc.subject	Object-Oriented Cobol	en
dc.subject	Software development life cycle	en
dc.subject	Structured	en
dc.subject	Object-oriented	en
dc.subject	Class	en
dc.subject	Object	en
dc.subject	Schema	en
dc.subject	Inheritence	en
dc.subject	Verification	en
dc.subject	Validation	en
dc.subject	Axiomatic description	en
dc.subject.ddc	005.12
dc.subject.lcsh	Computer software -- Development	en
dc.subject.lcsh	Object-oriented methods (Computer science)	en
dc.subject.lcsh	Structured programming	en
dc.subject.lcsh	System design	en
dc.title	From specification through refinement to implementation : a comparative study	en
dc.type	Dissertation	en
dc.description.department	Computing	en
dc.description.degree	M. Sc. (Information Systems)