College of Science, Engineering and Technology: Recent submissions

  • Some remarks on deleting a node from a binary tree 
    Aik-Koen, Heng (Computer Society of South Africa (on behalf of SAICSIT), 1986)
  • An Alternative Development of the Vienna Data Structures 
    Philips, N.C.K. (Computer Society of South Africa (on behalf of SAICSIT), 1986)
    This paper presents an axiomatic specification of a data type which is shown to be equivalent to the Vienna data structures. The advantage of this alternative approach is its obvious simplicity.
  • Research directions in information systems 
    Mende, J. (Computer Society of South Africa (on behalf of SAICSIT), 1986)
    The success of a research project depends upon the inputs and outputs selected by the researcher, a poor choice entailing useless results or wasted efforts.To avoid this one might consider the following alternatives: t. ...
  • Modeller : a DSS for experimental study of Human-computer interaction 
    Finnie, G.R. (Computer Society of South Africa (on behalf of SAICSIT), 1986)
    This paper describes the structure of a simple nonprocedural financial modelling system designed to collect a variety of statistics on aspects of novice interaction with decision support systems. Some findings on the use ...
  • The SECD Machine : An Introduction 
    Dempster, Robert (Computer Society of South Africa (on behalf of SAICSIT), 1986)
    The S(tack), E(nvironment), C(ontrol) and D(ump) machine was invented by Landin (1964) to perform the mechanical evaluation of symbolic expressions. The evaluation of an expression invariably involves the application of ...
  • Ways of Assessing Programming Skills 
    Bishop, J.M. (Computer Society of South Africa (on behalf of SAICSIT), 1986)
    The programming skills taught in first year computer science courses are more difficult to assess than the skills in older science courses because of the very large numbers of students involved coupled with material ...
  • Introduction to computability theory 
    Zucker, J; Pretorius, L (South African Computer Society (SAICSIT), 1993)
    These are notes for a short introductory course on Computability Theory (or recursive function theory). The basic notion of computability is defined in terms of a simple imperative programming language.
  • A working relational model: The derivation of the Dijkstra-Scholten predicate transformer semantics from Tarski's axioms for the Peirce-Schroder calculus of relations 
    Maddux, RD (South African Computer Society (SAICSIT), 1993)
    The definitions for Dijkstra's predicate transformer semantics can be justified by considering the meaning of a program as a binary relation on states (which holds between two states if there is a terminating computation ...
  • Denotational semantics and domain theory 
    Goslett, J.; Hulley, H; Melton, A (South African Computer Society (SAICSIT), 1993)
    This tutorial is an introduction to denotational semantics and domain theory. For this reason the presentation is not entirely rigorous, with some proofs being omitted and certain simplifying assumptions being made. Instead, ...
  • Deduction systems based on resolution 
    Eisinger, N; Ohlbach, HJ (South African Computer Society (SAICSIT), 1993)
    A general theory of deduction systems is presented The theory is illustrated with deduction systems based on the resolution calculus, in particular with clause graphs. This theory distinguishes four constituents of a ...
  • The key issues in information management in the mid-1990s. Back to business basics through the commercialisation of the ISD 
    Remenyi, DSJ (South African Computer Society (SAICSIT), 1993)
    This paper takes a business or commercial perspective of the key issues in Information Management for the mid-1990s. It focuses on how organisations may use information systems to improve their efficiency and effectiveness ...
  • Expert systems for management control: A multi-expert architecture 
    Ram, V (South African Computer Society (SAICSIT), 1993)
    The use of Expert Systems technology in management decision making domains is increasing rapidly as business environments worldwide grow more turbulent and as the cost of development tools decrease. Research effort in this ...
  • Assessing the usability of computer systems 
    Parker-Nance, TC; Warren, PR (South African Computer Society (SAICSIT), 1993)
    Usability problems with computer systems can be divided into three broad categories: problems due to the socio/political environment, problems due to the usefulness of systems, and problems due to the accessibility of ...
  • SSDE: CASE in education 
    Norman, MJ; Berman, Sonia (South African Computer Society (SAICSIT), 1993)
    Software Engineering is a difficult and time-consuming discipline to learn. CASE Tools are generally expensive, prescriptive and tedious to use. Structured Software Development Environment (SSDE) was developed as a teaching ...
  • An enquiry into property-goal type definitions of the term "information system" 
    Mullany, M; Dos Santos Gomes, A; Miller, R (South African Computer Society (SAICSIT), 1993)
    After reference to IS authors such as Lay [7J it becomes evident that there is as yet no unified definition of the term "information system." This research has attempted to extract, from the relevant literature, the supposed ...
  • A simulation environment for evaluating distributed query processing algorithms 
    Lamprecht, SM (South African Computer Society (SAICSIT), 1993)
    Distributed database systems provide users with the facility to utilize and maintain information that is geographically dispersed in files at several sites while they remain unaware of the distribution of the information. ...
  • Die versoening van konflikterende doelwitte in die databasisomgewing met behulp van regressiemetodes 
    Jordaan, DB; Hattingh, J.M.; Steyn, T (South African Computer Society (SAICSIT), 1993)
    Daar bestaan baie voorbeelde in die dataverwerkingswêreld van gebruikers wat nie die inligting vanuit huIlle rekenaarstelsels kry wat hulle nodig het nie [26]. Nuwe en onvoorsiene vrae en versoeke vir inligting neem by die ...
  • Die empiriese evaluering van variasie van woordpassingalgoritmes vir die bepaling van ekwivalente vanne in 'n genealogiese databasis 
    De Kock, G de V; Du Plessis, C (South African Computer Society (SAICSIT), 1993)
    An evaluation is made of the success of equivalence algorithms to be used for surname matching in a South African Genealogical Database. Surnames in the database can be grouped in ideal equivalence classes. The algorithms, ...
  • Artificial intelligence, expert systems and business computing: Is there a problem? 
    Crossman, T.D. (South African Computer Society (SAICSIT), 1993)
    Some sources suggest that the implementation of Artificial Intelligence and Expert Systems applications (AI/ES) may create problems for the business sector. This article presents a management tool (based on the concept of ...
  • Database consistency under UNIX 
    Viktor, HL; Rennhackkamp, MH (South African Institute of Computer Scientists and Information Technologists, 1991)
    A recovery technique, to facilitate the recovery from system failures should ensure a consistent database state at all times. The UNIX write system call uses a delayed-write policy. Data blocks are kept in a buffer cache ...

Search UnisaIR


Browse

My Account