Theses and Dissertations (School of Computing): Recent submissions

  • Benefits that a business can derive from human-computer interaction interventions 
    Nabusiu, Brian James (2014-02)
    Human Computer Interaction (HCI) interventions such as User Experience, Usability and Accessibility are widely accepted as great milestones in the developmental process of computer-based system applications – be it web-based, ...
  • Measuring the impact of information security awareness on social networks through password cracking 
    Okesola, Julius Olatunji (2014-12)
    Since social networks (SNs) have become a global phenomenon in almost every industry, including airlines and banking, their security has been a major concern to most stakeholders. Several security techniques have been ...
  • Towards the functionality South African internet banking websites should provide to address the needs of generation-Y users 
    Mtimkulu, Sebabatso (2014-07)
    Despite the widespread adoption of Internet banking, no guidelines exist on what functionality the techno-savvy Generation-Y customer segment (20–37 years) expects from Internet banking websites. This research investigated ...
  • Knowledge-based support for object-oriented design 
    Loock, Marianne (1994-06)
    The research is conducted in the area of Software Engineering, with emphasis on the design phase of the Software Development Life Cycle (SDLC). The object-oriented paradigm is the point of departure. The investigation deals ...
  • Risk management in software development 
    Labuschagne, Mariet (2000-01)
    This dissertation discusses risk management in the context of software development. It commences by investigating why so many software development projects fail. It then focuses on approaches to software development that ...
  • Temporal logics 
    Horne, Tertia (1999-09)
    We consider a number of temporal logics, some interval-based and some instant-based, and the choices that have to be made if we need to construct a computational framework for such a logic. We consider the axiomatisation ...
  • Integrating the key approaches of neural networks 
    Howard, Beverley Robin (1999-12)
    The thesis is written in chapter form. Chapter 1 describes some of the history of neural networks and its place in the field of artificial intelligence. It indicates the biological basis from which neural network ...
  • Circumscriptive reasoning 
    Halland, Kenneth John (1994-08)
    We show how the non-monotonic nature of common-sense reasoning can be formalised by circumscription. Various forms of circumscription are discussed. A new form of circumscription, namely naive circumscription, is introduced ...
  • Default reasoning and neural networks 
    Govender, I. (Irene) (1998-06)
    In this dissertation a formalisation of nonmonotonic reasoning, namely Default logic, is discussed. A proof theory for default logic and a variant of Default logic - Prioritised Default logic - is presented. We also pursue ...
  • A reference model for the process control domain of application 
    Dhevcharran, Nirvani (1995-11)
    The process control domain is intrinsically complex and dynamic. It has proved to be difficult to construct and maintain process control systems under the traditional software development methodologies. Object Orientation ...
  • Integrating a software engineering approach and instructional factors in instructional software development--illustrated by a prototype in theoretical computer science 
    De Villiers, M.R. (Ruth) (1995-09)
    This dissertation is a multi-disciplinary study, which integrates a software engineering approach with instructional factors in the decision-making, analysis, design and development processes of instructional software. ...
  • A semi-formal comparison between the Common Object Request Broker Architecture (COBRA) and the Distributed Component Object Model (DCOM) 
    Conradie, Pieter Wynand (2000-06)
    The way in which application systems and software are built has changed dramatically over the past few years. This is mainly due to advances in hardware technology, programming languages, as well as the requirement to ...
  • The CSCW paradigm for software development 
    Viljoen, Zelda (1995-06)
    People work together to solve a wide variety of problems using different forms of cooperation for each class of problem. Modern technology is complex, and therefore it is unusual for an individual to attempt the development ...
  • Logics of belief 
    Viljoen, Elizabeth (1997-04)
    The inadequacy of the usual possible world semantics of modal languages when the meaning of 'belief' is attached to the modal operator is discussed. Three other approaches are then investigated. In the case of Moore's ...
  • Rol van belasting- en ander kontantaansporingsmaatreëls in finansiële beplanning deur vervaardigingsondernemings in Suid-Afrika 
    van Rooyen, Annelien (1996-11)
    Die bestaande belastingaansporingsmaatreels in Suid-Afrika is nagevors. Belastingaansporingsmaatreels wat vroeer in gebruik was, is ook ondersoek. Aandag is gegee aan die kontantaansporingsmaatreels wat vir vervaardigi ...
  • Proof systems for propositional modal logic 
    Van der Vyver, Thelma (1997-11)
    In classical propositional logic (CPL) logical reasoning is formalised as logical entailment and can be computed by means of tableau and resolution proof procedures. Unfortunately CPL is not expressive enough and using ...
  • Usability and Internet-based banking 
    Van Dyk, Tobias Jan (1999-06)
    Usability refers to the study and measurement of the quality of human-computer interaction. Internet-based banking is a task-oriented, goal-directed, Web-based, E-commerce application where users access and manipulate ...
  • A quality assurance reference model for object-orientation 
    Thornton, Deborah (1994-06)
    The focus of the dissertation is on software quality assurance for object-oriented information systems development. A Quality Assurance Reference Model is proposed with aspects dealing with technical and managerial issues. ...
  • Universal homophonic coding 
    Stevens, Charles Cater (1996-11)
    Redundancy in plaintext is a fertile source of attack in any encryption system. Compression before encryption reduces the redundancy in the plaintext, but this does not make a cipher more secure. The cipher text is still ...
  • Integration testing of object-oriented software 
    Skelton, Gordon William (2000-08)
    This thesis examines integration testing of object-oriented software. The process of integrating and testing procedural programs is reviewed as foundation for testing object-oriented software. The complexity of object-oriented ...

Search UnisaIR


Browse

My Account