Institutional Repository

Browsing Theses and Dissertations (School of Computing) by Issue Date

Browsing Theses and Dissertations (School of Computing) by Issue Date

Sort by: Order: Results:

  • 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 ...
  • 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. ...
  • 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 ...
  • 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 ...
  • 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 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 ...
  • 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 ...
  • Electronic data interchange : an implementation methodology 
    Meyer, Ettienne (1995-11)
    The purpose of the research is to propose and evaluate a methodology for implementing EDI to assist organisations in reaping the anticipated benefits. The research involved the systematic analysis of the state of the ...
  • 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 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 ...
  • 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 ...
  • 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 ...
  • 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 ...
  • 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 ...
  • 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 ...
  • 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 ...
  • 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 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 ...
  • 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 ...
  • 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 ...

Search UnisaIR


Browse

My Account