Institutional Repository

South African Computer Journal 1992(8)

South African Computer Journal 1992(8)

 

Recent Submissions

  • A model checker for transition systems 
    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 ...
  • PEW: A tool for the automated performance analysis of protocols 
    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 ...
  • Beam search in attribute-based concept induction 
    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 ...
  • An evaluation of the skill requirements of entry-level graduates in the information systems industry 
    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 ...
  • Logic programming: ideal vs practice 
    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 ...
  • Evaluating the motivating environment for information systems personnel in South Africa compared to the United States (Part II) 
    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 ...
  • Social responsibility for computing professionals and students 
    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 ...
  • A new algorithm for finding an upper bound of the genus of a graph 
    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 ...
  • Selection criteria for first year Computer Science students 
    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 ...
  • Qualitative reasoning: an introduction 
    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 ...