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:

Sorted by: relevance · author · university · date | New search

You searched for +publisher:"University of South Africa" +contributor:("Van der Poll, John Andrew"). Showing records 1 – 15 of 15 total matches.

Search Limiters

Last 2 Years | English Only

No search limiters apply to these results.

▼ Search Limiters


University of South Africa

1. Kumalo, Nkosi Hugh. The role of cloud computing in addressing small, medium enterprise challenges in South Africa.

Degree: 2018, University of South Africa

 This thesis was motivated by Roberts (2010) who found that 63% of SMEs in South Africa do not make it past second year of operation.… (more)

Subjects/Keywords: SME; Small and mdeium enterprise; Cloud adoption; Cloud computing; Cloud; Enterprise business challenges; South Africa; Information technology; IT

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Kumalo, N. H. (2018). The role of cloud computing in addressing small, medium enterprise challenges in South Africa. (Doctoral Dissertation). University of South Africa. Retrieved from http://hdl.handle.net/10500/24939

Chicago Manual of Style (16th Edition):

Kumalo, Nkosi Hugh. “The role of cloud computing in addressing small, medium enterprise challenges in South Africa.” 2018. Doctoral Dissertation, University of South Africa. Accessed October 13, 2019. http://hdl.handle.net/10500/24939.

MLA Handbook (7th Edition):

Kumalo, Nkosi Hugh. “The role of cloud computing in addressing small, medium enterprise challenges in South Africa.” 2018. Web. 13 Oct 2019.

Vancouver:

Kumalo NH. The role of cloud computing in addressing small, medium enterprise challenges in South Africa. [Internet] [Doctoral dissertation]. University of South Africa; 2018. [cited 2019 Oct 13]. Available from: http://hdl.handle.net/10500/24939.

Council of Science Editors:

Kumalo NH. The role of cloud computing in addressing small, medium enterprise challenges in South Africa. [Doctoral Dissertation]. University of South Africa; 2018. Available from: http://hdl.handle.net/10500/24939


University of South Africa

2. Kashora, Trust. E-learning technologies for open distance learning knowledge acquisition in managerial accounting.

Degree: 2018, University of South Africa

 This research seeks to establish how e-learning may contribute towards knowledge construction for Management Accounting students at the University of South Africa. More specifically, the… (more)

Subjects/Keywords: Community of practice; ICT (Information and Communications Technology); Framework; Management accounting; Open and Distance e-learning (ODeL); Teaching; Technology infrastructure and Utility; Praktyksgemeenskap; IKT (inligtings- en kommunikasietegnologie); Raamwerk; Bestuursrekeningkunde; Oop en afstands-e-leer (OAeL); Onderrig; Tegnologie-infrastruktuur en bruikbaarheid; Amatheknoloji olwazi nokuxhumana; Amaqembu asebenzisa uhlaka ukuluthuthukisa nokuluqhubela phambili; Uhlaka; i- Management Accounting; Izifundo ezivulekile nezenziwa umuntu ekude nesikhungo semfundo ngokusebenzisa inqubo ye-elektroniki; Izingqalazizinda zezokufunda; Itheknoloji kanye nokusetshenziswa kwayo

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Kashora, T. (2018). E-learning technologies for open distance learning knowledge acquisition in managerial accounting. (Doctoral Dissertation). University of South Africa. Retrieved from http://hdl.handle.net/10500/25140

Chicago Manual of Style (16th Edition):

Kashora, Trust. “E-learning technologies for open distance learning knowledge acquisition in managerial accounting.” 2018. Doctoral Dissertation, University of South Africa. Accessed October 13, 2019. http://hdl.handle.net/10500/25140.

MLA Handbook (7th Edition):

Kashora, Trust. “E-learning technologies for open distance learning knowledge acquisition in managerial accounting.” 2018. Web. 13 Oct 2019.

Vancouver:

Kashora T. E-learning technologies for open distance learning knowledge acquisition in managerial accounting. [Internet] [Doctoral dissertation]. University of South Africa; 2018. [cited 2019 Oct 13]. Available from: http://hdl.handle.net/10500/25140.

Council of Science Editors:

Kashora T. E-learning technologies for open distance learning knowledge acquisition in managerial accounting. [Doctoral Dissertation]. University of South Africa; 2018. Available from: http://hdl.handle.net/10500/25140


University of South Africa

3. Buthelezi, Mokateko Portia. Addressing ambiguity within information security policies in higher education to improve compliance.

Degree: 2017, University of South Africa

 nformation security (InfoSec) policies are widely used by institutions as a form of InfoSec control measure to protect their information assets. InfoSec policies are commonly… (more)

Subjects/Keywords: Formal methods; Policy ambiguity; Usable security; Policy clarity; Policy human aspects; Security policy compliance

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Buthelezi, M. P. (2017). Addressing ambiguity within information security policies in higher education to improve compliance. (Masters Thesis). University of South Africa. Retrieved from http://hdl.handle.net/10500/23784

Chicago Manual of Style (16th Edition):

Buthelezi, Mokateko Portia. “Addressing ambiguity within information security policies in higher education to improve compliance.” 2017. Masters Thesis, University of South Africa. Accessed October 13, 2019. http://hdl.handle.net/10500/23784.

MLA Handbook (7th Edition):

Buthelezi, Mokateko Portia. “Addressing ambiguity within information security policies in higher education to improve compliance.” 2017. Web. 13 Oct 2019.

Vancouver:

Buthelezi MP. Addressing ambiguity within information security policies in higher education to improve compliance. [Internet] [Masters thesis]. University of South Africa; 2017. [cited 2019 Oct 13]. Available from: http://hdl.handle.net/10500/23784.

Council of Science Editors:

Buthelezi MP. Addressing ambiguity within information security policies in higher education to improve compliance. [Masters Thesis]. University of South Africa; 2017. Available from: http://hdl.handle.net/10500/23784


University of South Africa

4. Marin, Mike A. Exploring complexity metrics for artifact-centric business process models.

Degree: 2017, University of South Africa

 This study explores complexity metrics for business artifact process models described by Case Management Model and Notation (CMMN). Process models are usually described using Business… (more)

Subjects/Keywords: Business Artifacts; Business Process Management; BPM; Business Process Model; Case Management; Case Management Model and Notation; CMMN; Guard-Stage-Milestone; GSM; Complexity Metric; Process Model Complexity; Method Complexity

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Marin, M. A. (2017). Exploring complexity metrics for artifact-centric business process models. (Doctoral Dissertation). University of South Africa. Retrieved from http://hdl.handle.net/10500/23179

Chicago Manual of Style (16th Edition):

Marin, Mike A. “Exploring complexity metrics for artifact-centric business process models.” 2017. Doctoral Dissertation, University of South Africa. Accessed October 13, 2019. http://hdl.handle.net/10500/23179.

MLA Handbook (7th Edition):

Marin, Mike A. “Exploring complexity metrics for artifact-centric business process models.” 2017. Web. 13 Oct 2019.

Vancouver:

Marin MA. Exploring complexity metrics for artifact-centric business process models. [Internet] [Doctoral dissertation]. University of South Africa; 2017. [cited 2019 Oct 13]. Available from: http://hdl.handle.net/10500/23179.

Council of Science Editors:

Marin MA. Exploring complexity metrics for artifact-centric business process models. [Doctoral Dissertation]. University of South Africa; 2017. Available from: http://hdl.handle.net/10500/23179


University of South Africa

5. Dongmo, Cyrille. Formalising non-functional requirements embedded in user requirements notation (URN) models.

Degree: 2016, University of South Africa

 The growing need for computer software in different sectors of activity, (health, agriculture, industries, education, aeronautic, science and telecommunication) together with the increasing reliance of… (more)

Subjects/Keywords: Semi-formal specification techniques; URN; GRL; UCMs; Goal model; NFR; CNF-actions; Formal methods; Z; Object-Z; Specification validation; Enterprise organogram; Specification animation; Z/Eves; Four-way framework

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Dongmo, C. (2016). Formalising non-functional requirements embedded in user requirements notation (URN) models. (Doctoral Dissertation). University of South Africa. Retrieved from http://hdl.handle.net/10500/23395

Chicago Manual of Style (16th Edition):

Dongmo, Cyrille. “Formalising non-functional requirements embedded in user requirements notation (URN) models.” 2016. Doctoral Dissertation, University of South Africa. Accessed October 13, 2019. http://hdl.handle.net/10500/23395.

MLA Handbook (7th Edition):

Dongmo, Cyrille. “Formalising non-functional requirements embedded in user requirements notation (URN) models.” 2016. Web. 13 Oct 2019.

Vancouver:

Dongmo C. Formalising non-functional requirements embedded in user requirements notation (URN) models. [Internet] [Doctoral dissertation]. University of South Africa; 2016. [cited 2019 Oct 13]. Available from: http://hdl.handle.net/10500/23395.

Council of Science Editors:

Dongmo C. Formalising non-functional requirements embedded in user requirements notation (URN) models. [Doctoral Dissertation]. University of South Africa; 2016. Available from: http://hdl.handle.net/10500/23395


University of South Africa

6. Ajigini, Olusegun Ademolu. A framework to manage sensitive information during its migration between software platforms.

Degree: 2016, University of South Africa

 Software migrations are mostly performed by organisations using migration teams. Such migration teams need to be aware of how sensitive information ought to be handled… (more)

Subjects/Keywords: Closed Source Software; Information classification; Information protection; Information security; Information sensitivity; Information sensitivity; IP Protection; IS Migration; IS theory development; IT control frameworks

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Ajigini, O. A. (2016). A framework to manage sensitive information during its migration between software platforms. (Doctoral Dissertation). University of South Africa. Retrieved from http://hdl.handle.net/10500/21118

Chicago Manual of Style (16th Edition):

Ajigini, Olusegun Ademolu. “A framework to manage sensitive information during its migration between software platforms.” 2016. Doctoral Dissertation, University of South Africa. Accessed October 13, 2019. http://hdl.handle.net/10500/21118.

MLA Handbook (7th Edition):

Ajigini, Olusegun Ademolu. “A framework to manage sensitive information during its migration between software platforms.” 2016. Web. 13 Oct 2019.

Vancouver:

Ajigini OA. A framework to manage sensitive information during its migration between software platforms. [Internet] [Doctoral dissertation]. University of South Africa; 2016. [cited 2019 Oct 13]. Available from: http://hdl.handle.net/10500/21118.

Council of Science Editors:

Ajigini OA. A framework to manage sensitive information during its migration between software platforms. [Doctoral Dissertation]. University of South Africa; 2016. Available from: http://hdl.handle.net/10500/21118


University of South Africa

7. Denhere, Nelson. Managing globally distributed software development using virtual teams: A Middle East case study.

Degree: 2015, University of South Africa

 Software project development is increasingly becoming geographically distributed especially in today’s global business environment. In order to build quality software faster andat a lower cost,… (more)

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Denhere, N. (2015). Managing globally distributed software development using virtual teams: A Middle East case study. (Masters Thesis). University of South Africa. Retrieved from http://hdl.handle.net/10500/20706

Chicago Manual of Style (16th Edition):

Denhere, Nelson. “Managing globally distributed software development using virtual teams: A Middle East case study.” 2015. Masters Thesis, University of South Africa. Accessed October 13, 2019. http://hdl.handle.net/10500/20706.

MLA Handbook (7th Edition):

Denhere, Nelson. “Managing globally distributed software development using virtual teams: A Middle East case study.” 2015. Web. 13 Oct 2019.

Vancouver:

Denhere N. Managing globally distributed software development using virtual teams: A Middle East case study. [Internet] [Masters thesis]. University of South Africa; 2015. [cited 2019 Oct 13]. Available from: http://hdl.handle.net/10500/20706.

Council of Science Editors:

Denhere N. Managing globally distributed software development using virtual teams: A Middle East case study. [Masters Thesis]. University of South Africa; 2015. Available from: http://hdl.handle.net/10500/20706


University of South Africa

8. 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… (more)

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 13, 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. 13 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 13]. 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


University of South Africa

9. Dongmo, Cyrille. Towards the formalisation of use case maps .

Degree: 2011, University of South Africa

 Formal specification of software systems has been very promising. Critics against the end results of formal methods, that is, producing quality software products, is certainly… (more)

Subjects/Keywords: Semi-formal specification techniques; UCMs; Formal methods; Z; Object-Z; Software process; Specification validation; Comparing specifications; Spiral Model

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Dongmo, C. (2011). Towards the formalisation of use case maps . (Masters Thesis). University of South Africa. Retrieved from http://hdl.handle.net/10500/5621

Chicago Manual of Style (16th Edition):

Dongmo, Cyrille. “Towards the formalisation of use case maps .” 2011. Masters Thesis, University of South Africa. Accessed October 13, 2019. http://hdl.handle.net/10500/5621.

MLA Handbook (7th Edition):

Dongmo, Cyrille. “Towards the formalisation of use case maps .” 2011. Web. 13 Oct 2019.

Vancouver:

Dongmo C. Towards the formalisation of use case maps . [Internet] [Masters thesis]. University of South Africa; 2011. [cited 2019 Oct 13]. Available from: http://hdl.handle.net/10500/5621.

Council of Science Editors:

Dongmo C. Towards the formalisation of use case maps . [Masters Thesis]. University of South Africa; 2011. Available from: http://hdl.handle.net/10500/5621


University of South Africa

10. Mukwevho, Mukosi Abraham. A virtual intergrated networks emulator on xen (viNex) .

Degree: 2010, University of South Africa

 Network research experiments have traditionally been conducted in emulated or simulated environments. Emulators are frequently deployed on physical networks. Network simulators provide a self-contained and… (more)

Subjects/Keywords: Virtual computer system

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Mukwevho, M. A. (2010). A virtual intergrated networks emulator on xen (viNex) . (Masters Thesis). University of South Africa. Retrieved from http://hdl.handle.net/10500/4038

Chicago Manual of Style (16th Edition):

Mukwevho, Mukosi Abraham. “A virtual intergrated networks emulator on xen (viNex) .” 2010. Masters Thesis, University of South Africa. Accessed October 13, 2019. http://hdl.handle.net/10500/4038.

MLA Handbook (7th Edition):

Mukwevho, Mukosi Abraham. “A virtual intergrated networks emulator on xen (viNex) .” 2010. Web. 13 Oct 2019.

Vancouver:

Mukwevho MA. A virtual intergrated networks emulator on xen (viNex) . [Internet] [Masters thesis]. University of South Africa; 2010. [cited 2019 Oct 13]. Available from: http://hdl.handle.net/10500/4038.

Council of Science Editors:

Mukwevho MA. A virtual intergrated networks emulator on xen (viNex) . [Masters Thesis]. University of South Africa; 2010. Available from: http://hdl.handle.net/10500/4038


University of South Africa

11. Sukhoo, Aneerav. An evolutionary software project management maturity model for developing countries .

Degree: 2009, University of South Africa

 The evidence of project management is known for centuries as can be observed from the construction of the pyramids of Egypt and the Great Wall… (more)

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Sukhoo, A. (2009). An evolutionary software project management maturity model for developing countries . (Doctoral Dissertation). University of South Africa. Retrieved from http://hdl.handle.net/10500/1303

Chicago Manual of Style (16th Edition):

Sukhoo, Aneerav. “An evolutionary software project management maturity model for developing countries .” 2009. Doctoral Dissertation, University of South Africa. Accessed October 13, 2019. http://hdl.handle.net/10500/1303.

MLA Handbook (7th Edition):

Sukhoo, Aneerav. “An evolutionary software project management maturity model for developing countries .” 2009. Web. 13 Oct 2019.

Vancouver:

Sukhoo A. An evolutionary software project management maturity model for developing countries . [Internet] [Doctoral dissertation]. University of South Africa; 2009. [cited 2019 Oct 13]. Available from: http://hdl.handle.net/10500/1303.

Council of Science Editors:

Sukhoo A. An evolutionary software project management maturity model for developing countries . [Doctoral Dissertation]. University of South Africa; 2009. Available from: http://hdl.handle.net/10500/1303


University of South Africa

12. Steyn, Paul Stephanes. Validating reasoning heuristics using next generation theorem provers .

Degree: 2009, University of South Africa

 The specification of enterprise information systems using formal specification languages enables the formal verification of these systems. Reasoning about the properties of a formal specification… (more)

Subjects/Keywords: Automated reasoning; Automated theorem proving; Heuristics; Resolution; Zermelo-Fraenkel; First-order logic; Formal specification; Gandalf; Otter; Vampire; Set theory; Z

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Steyn, P. S. (2009). Validating reasoning heuristics using next generation theorem provers . (Doctoral Dissertation). University of South Africa. Retrieved from http://hdl.handle.net/10500/2793

Chicago Manual of Style (16th Edition):

Steyn, Paul Stephanes. “Validating reasoning heuristics using next generation theorem provers .” 2009. Doctoral Dissertation, University of South Africa. Accessed October 13, 2019. http://hdl.handle.net/10500/2793.

MLA Handbook (7th Edition):

Steyn, Paul Stephanes. “Validating reasoning heuristics using next generation theorem provers .” 2009. Web. 13 Oct 2019.

Vancouver:

Steyn PS. Validating reasoning heuristics using next generation theorem provers . [Internet] [Doctoral dissertation]. University of South Africa; 2009. [cited 2019 Oct 13]. Available from: http://hdl.handle.net/10500/2793.

Council of Science Editors:

Steyn PS. Validating reasoning heuristics using next generation theorem provers . [Doctoral Dissertation]. University of South Africa; 2009. Available from: http://hdl.handle.net/10500/2793


University of South Africa

13. Van der Westhuizen, Petra Laura. Control room agents : an information-theoretic approach .

Degree: 2007, University of South Africa

 In this thesis, a particular class of agent is singled out for examination. In order to provide a guiding metaphor, we speak of control room… (more)

Subjects/Keywords: Content-based merging; Information fusion; Social choice theory; Templated update; Templated revision; Iterated revision; AGM postulates; Epistemic states; Epistemic entrenchment; Epistemic logic; Templated orderings; Nonmonotonic logic; Semantic information theory; Control room agents

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Van der Westhuizen, P. L. (2007). Control room agents : an information-theoretic approach . (Doctoral Dissertation). University of South Africa. Retrieved from http://hdl.handle.net/10500/2211

Chicago Manual of Style (16th Edition):

Van der Westhuizen, Petra Laura. “Control room agents : an information-theoretic approach .” 2007. Doctoral Dissertation, University of South Africa. Accessed October 13, 2019. http://hdl.handle.net/10500/2211.

MLA Handbook (7th Edition):

Van der Westhuizen, Petra Laura. “Control room agents : an information-theoretic approach .” 2007. Web. 13 Oct 2019.

Vancouver:

Van der Westhuizen PL. Control room agents : an information-theoretic approach . [Internet] [Doctoral dissertation]. University of South Africa; 2007. [cited 2019 Oct 13]. Available from: http://hdl.handle.net/10500/2211.

Council of Science Editors:

Van der Westhuizen PL. Control room agents : an information-theoretic approach . [Doctoral Dissertation]. University of South Africa; 2007. Available from: http://hdl.handle.net/10500/2211


University of South Africa

14. Jolliffe, Robert Mark. Portable TCP/IP server design .

Degree: 2002, University of South Africa

 There are a number of known architectural patterns for TCP/IP server design. I present a survey of design choices based on some of the most… (more)

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Jolliffe, R. M. (2002). Portable TCP/IP server design . (Masters Thesis). University of South Africa. Retrieved from http://hdl.handle.net/10500/965

Chicago Manual of Style (16th Edition):

Jolliffe, Robert Mark. “Portable TCP/IP server design .” 2002. Masters Thesis, University of South Africa. Accessed October 13, 2019. http://hdl.handle.net/10500/965.

MLA Handbook (7th Edition):

Jolliffe, Robert Mark. “Portable TCP/IP server design .” 2002. Web. 13 Oct 2019.

Vancouver:

Jolliffe RM. Portable TCP/IP server design . [Internet] [Masters thesis]. University of South Africa; 2002. [cited 2019 Oct 13]. Available from: http://hdl.handle.net/10500/965.

Council of Science Editors:

Jolliffe RM. Portable TCP/IP server design . [Masters Thesis]. University of South Africa; 2002. Available from: http://hdl.handle.net/10500/965


University of South Africa

15. 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… (more)

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 13, 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. 13 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 13]. 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

.