Theses and Dissertations (School of Computing): Recent submissions

  • 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 ...
  • A model-theoretic realist interpretation of science 
    Ruttkamp, Emma (1998-11)
    My model-theoretic realist account of science places linguistic systems and the corresponding non-linguistic structures at different stages of the scientific process. It is shown that science and its progress cannot be ...
  • A comparative study of transaction management services in multidatabase heterogeneous systems 
    Renaud, Karen Vera (1996-04)
    Multidatabases are being actively researched as a relatively new area in which many aspects are not yet fully understood. This area of transaction management in multidatabase systems still has many unresolved problems. ...
  • A methodology for integrating legacy systems with the client/server environment 
    Redelinghuys, Melinda (1996-06)
    The research is conducted in the area of software methodologies with the emphasis on the integration of legacy systems with the client/server environment. The investigation starts with identifying the characteristics of ...
  • The forecasting of transmission network loads 
    Payne, Daniel Frederik (1997-11)
    The forecasting of Eskom transmission electrical network demands is a complex task. The lack of historical data on some of the network components complicates this task even further. In this dissertation a model is ...
  • A technology reference model for client/server software development 
    Nienaber, R. C. (Rita Charlotte) (1996-06)
    In today's highly competitive global economy, information resources representing enterprise-wide information are essential to the survival of an organization. The development of and increase in the use of personal computers ...
  • Object oriented database management systems 
    Nassis, Antonios (1995-11)
    Modern data intensive applications, such as multimedia systems require the ability to store and manipulate complex data. The classical Database Management Systems (DBMS), such as relational databases, cannot support these ...
  • Semantic belief change 
    Meyer, Thomas Andreas (1999-03)
    The ability to change one's beliefs in a rational manner is one of many facets of the abilities of an intelligent agent. Central to any investigation of belief change is the notion of an epistemic state. This dissertation ...

Search UnisaIR


Browse

My Account