Institutional Repository

South African Computer Journal 1992(8)

South African Computer Journal 1992(8)

 

Recent Submissions

  • De Villiers, PJA (South African Computer Society (SAICSIT), 1992)
    A model checker automatically determines whether a model of a reactive system satisfies its specification. Temporal logic is used to specify the intended behaviour of a reactive system which is modelled as a transition ...
  • Wheeler, G; Kritzinger, Pieter S. (South African Computer Society (SAICSIT), 1992)
    The Protocol Engineering Workbench (PEW) is an integrated software system or tool for the analysis of communication protocols specified using the Estelle Formal Description Technique or FDT. The execution of systems specified ...
  • Theron, H; Cloete, I (South African Computer Society (SAICSIT), 1992)
    Thi spaper investigates the issues of specializing only a single best conjunction to employing a beam search when learning attribute-based concept descriptions using the GCA algorithm. We describe GCA, a recently introduced ...
  • Smith, DC; Newton, S; Riley, MJ (South African Computer Society (SAICSIT), 1992)
    Information Systems (IS), although a relatively new academic discipline, is receiving considerable attention in tertiary institutions in South Africa. Despite this, there is currently no standard curricula for IS graduates ...
  • Labuschagne, W.A.; Van der Westhuizen, PL (South African Computer Society (SAICSIT), 1992)
    The logician who encounters logic programming expects it to involve 'using predicate logic as a programming language'. He is soon disillusioned. He discovers that it really means 'programming in PROLOG', which in tum seems ...
  • Couger, JD; Smith, DC (South African Computer Society (SAICSIT), 1992)
    The South African computer industry suffers from a shortage of skilled staff. To maximise the productivity and motivation of Information Systems (IS) staff in their current and future jobs is therefore an important management ...
  • Clarke, MC (South African Computer Society (SAICSIT), 1992)
    In our desire for technical excellence, an appreciation of the human factors of computing is often overlooked. This paper proposes that the social and ethical implications of computers need to be understood by computer ...
  • Carson, DI; Oellermann, OR (South African Computer Society (SAICSIT), 1992)
    In this paper we discuss the problem of finding an upper bound on the genus of a graph. This problem has applications to circuit layouts. An electronic circuit may be modelled by a graph. By punching holes into the circuit ...
  • Calitz, AP; De Kock, G de V; Venter, DJL (South African Computer Society (SAICSIT), 1992)
    The evaluation of selection criteria for the admission of first year Computer Science students has been an ongoing project at the University of Port Elizabeth since 1984. Various selection criteria and methods, for example ...
  • Bradshaw, J (South African Computer Society (SAICSIT), 1992)
    This paper serves as an introduction to the areas of qualitative reasoning. The three main streams of qualitative reasoning are described: the component centered approach, the process centered approach and the constraint ...