UnisaIR Repository

Browsing School of Computing by Issue Date

Browsing School of Computing by Issue Date

Sort by: Order: Results:

  • 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. ...
  • 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 ...
  • 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 ...
  • 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 ...
  • De Villiers, Mary 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. ...
  • 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 ...
  • 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 ...
  • 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 ...
  • De Villiers, M.R.; Kotze, P (1996)
    The research reported in this paper aims to integrate software engineering approaches with instructional factors in the requirements, analysis, design and production phases of instructional software development. The ...
  • 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. ...
  • 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 ...
  • 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 ...
  • Van Rooyen, Annelien Adriana (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 ...
  • De Villiers, M.R.; Kotze, P. (1997)
    Reports on research conducted to integrate software engineering with instructional factors in the requirements analysis, design and production phases of instructional software development. Illustrates with diagrams
  • 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 ...
  • 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 ...
  • 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 ...
  • Van der Poll, J.A.; Labuschagne, W.A. (1999-07)
    A formal specification language like Z permits the specifier to construct proofs which collaborate the aptness of the specification. This process may be facilitated by establishing a partnership between the specifier and ...
  • Hörne, 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 ...
  • 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 ...

Search UnisaIR


Browse

My Account