From specification through refinement to implementation : a comparative study

From specification through refinement to implementation : a comparative study

Show other versions (1)

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...

Full description

Bibliographic Details
Main Author: Van Coppenhagen, Ingrid H. M.
Other Authors: Van der Poll, John Andrew
Format: Others
Language:en
Published: 2009
Subjects:
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
005.12
Computer software > Development
Object-oriented methods (Computer science)
Structured programming
System design
Online Access: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>
http://hdl.handle.net/10500/618

Internet

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>
http://hdl.handle.net/10500/618

Similar Items