South African Computer Journal (SACJ): Recent submissions

  • Verification of finite state systems with temporal logic model checking 
    Schlingloff, B (South African Computer Society (SAICSIT), 1997)
    These tutorial notes contain an introduction to the logical theory and computational aspects of computer aided verification of finite state reactive systems with linear and branching temporal logic model checking. As a ...
  • Test automation of safety-critical reactive systems 
    Peleska, J; Siegel, M (South African Computer Society (SAICSIT), 1997)
    This article focuses on test automation for safety-critical reactive systems. In the first part of the paper we introduce a methodology for specification, design and verification of fault-tolerant systems allowing to ...
  • Application-oriented program semantics 
    McIver, AK; Morgan, C; Sanders, JW (South African Computer Society (SAICSIT), 1997)
    This paper abridges lecture notes from WOFACS 96. It provides semantic models for a variety of programming and development formalisms, showing how different models for the same formalism are related by Galois connections. ...
  • Reasoning about changing information 
    Blackburn, P; Jaspars, J; De Rijke, M (South African Computer Society (SAICSIT), 1997)
    The purpose of these notes is two fold: (i) to give a reasonably self-contained introduction to a particular approach to theory change, known as the Alchourron-Gardenfors-Makinson (AGM) approach, and to discuss some of the ...
  • Lessons from Singapore and Zimbabwe: A model for emerging countries to achieve quality economic growth 
    Yellen, RE; Sanford, CC (South African Computer Society (SAICSIT), 1995)
    The Singapore government's adoption of policies which has promulgated an infrastructure heavily reliant on information technology is used as a model to explain Singapore's remarkable economic growth. This model helps to ...
  • A pluralistic approach to systems development 
    Lai, LSL (South African Computer Society (SAICSIT), 1995)
    It is believed that revolutionary developments in information technology may allow developing countries to leapfrog obsta­cles to development if they can successfully apply the new technology. However, many organizations ...
  • Who will implement information technology for development? 
    Korpela, M (South African Computer Society (SAICSIT), 1995)
    There is a long, although thin, tradition of research on whether and how information technology (IT) can contribute to national development and basic human needs, particularly in developing countries (DCs). It is striking, ...
  • Computer-supported cooperative education to support development in South Africa 
    Grobler, M (South African Computer Society (SAICSIT), 1995)
    With the enormous educational backlogs in South Africa it seems that there is no choice other than searching for alternative, technology-based ways for improving the existing educational situation. This paper describes ...
  • Information technology in a developing economy 
    Crossman, T.D.; Fortmann, P; Heneke, V; Murray, D (South African Computer Society (SAICSIT), 1995)
    There is considerable debate about the value of information technology (IT) in developing economies. Some argue opti­mistically that without IT, developing economies will not grow. Others, somewhat pessimistically, warn ...
  • Development, self-determination and information 
    Avgerou, C; Madon, S (South African Computer Society (SAICSIT), 1995)
    In this article we review the current debate on the impact of the increasing significance of information handling enabled by advances in information technology on socio-economic development, with particular emphasis on the ...
  • Mobile agents at ISADS 97 
    Vosloo, I (South African Computer Society (SAICSIT), 1997)
    This communication gives an overview of the field of mobile agents as presented at various events held in conjunction with a recent international symposium in Germany. The nature of mobile agents and the key concepts ...
  • Theory meets practice. Using Smith's normalization in complex systems 
    Van der Merwe, AJ; Labuschagne, WA (South African Computer Society (SAICSIT), 1997)
    In 1985 Smith introduced a new way of deriving fully normalized tables. His method was based on the use of a dependency list and a dependency diagram to produce fifth normal form directly. We introduce the use of end-line, ...
  • Word prediction strategies in program editing environments 
    Sanders, I; Tsai, C (South African Computer Society (SAICSIT), 1997)
    The goal of this research is to demonstrate that word prediction in a constrained domain like a programming language can be done effectively and hence has the potential to facilitate typing for disabled people who are ...
  • A computerised-consultation service for the computerisation of the very small small-business enterprise 
    Rensleigh, CW; Olivier, MS (South African Computer Society (SAICSIT), 1997)
    Small-business performance can benefit from computerisation. Unfortunately, however, most of the very small small-business enterprises do not have the financial means to acquire the services of a computerisation consultant. ...
  • The recovery problem in multidatabase systems - characteristics and solutions 
    Renaud, K; Kotze, P (South African Computer Society (SAICSIT), 1997)
    In many applications today multiple pre-existing database systems are integrated into a single multiple database system called a multi­database system. One of the biggest problems for transaction management in a multidatabase ...
  • Some typical phases of a business transformation project 
    Remenyi, D (South African Computer Society (SAICSIT), 1997)
    Business Process Reengineering (BPR) or Business Transformation is very difficult to manage successfully. There is a high failure rate of BPR projects and thus the risk associated with this type of work is high. Although ...
  • Secure mobile nodes in federated databases 
    Olivier, MS (South African Computer Society (SAICSIT), 1997)
    Mobile computers pose special security risks since information contained on them can more easily be compromised. However, availability of information at the location where the mobile computer is to be used often outweighs ...
  • The practice of clausification in automatic theorem proving 
    Sutcliffe, G; Melville, S (South African Computer Society (SAICSIT), 1996)
    In the process of resolution based Automatic Theorem Proving, problems expressed in First Order Form (FOF) are transformed by a clausifier to Clause Normal Form (CNF). This research examines and compares clausifiers. ...
  • The new IS'95 curriculum 
    Smith, DC (South African Computer Society (SAICSIT), 1996)
    The recent acceptance of South Africa as a world player and the government's reconstruction and development programme (RDP) have created new challenges and opportunities for business and universities. The Information Systems ...
  • Business process reengineering: A down to earth critique 
    Shewaram, T (South African Computer Society (SAICSIT), 1996)
    'Change' is a universal phenomenon that many take for granted. Without change, time has no meaning. Even people are essentially dynamic processes, we are constantly changing in multitudinous ways. In light of this, it is ...

Search UnisaIR


Browse

My Account