SAICSIT Proceedings: 1979-2001: Recent submissions

  • The role of formalism in engineering interactive systems 
    Harrison, MD; Duke, DJ (1996)
    This paper is concerned with the role of formal notations and methods in engineering interactive systems. It begins by briefly reviewing the role of formal methods in Human Computer Interaction.The objective of capturing ...
  • Computer-based applications for engineering education 
    Hansen, AC; Lyne, PWL (1996)
    There is a rapidly growing awareness in the world of the need to modify the educational process at all levels of human development. In South Africa the situation is made worse by a substantial backlog in education. ...
  • Efficient state-exploration 
    Geldenhuys, J (1996)
    The exploration of states is an important element of many problems. Many problems share properties which allow the formulation of general strategies for state exploration. This article examines these strategies with reference ...
  • Teaching a first course in compilers with a simple compiler construction toolkit 
    Ganchev, GF (1996)
    We describe the use of a toolkit designed to support the Compiler Construction course in the University of Botswana. The toolkit is based upon the principles of simplicity, modularity and flexibility. Its educational ...
  • The design and usage of a new Southern African Information Systems textbook 
    Erwin, GJ; Blewett, CN (1996)
    Changes in South African society have brought about changes in the background of student audiences and these have stimulated a review of the areas of governance, syllabus, curriculum, teaching methods and research in ...
  • A reference model for the process control domain of application 
    Dhevcharran, N; Steenkamp, AL; Ram, V (1996)
    The increasing complexity of large process control systems impedes efforts to construct, co-ordinate and monitor these systems effectively. The object oriented paradigm and associated mechanisms greatly assist in software ...
  • Real-time control the system model - a holistic approach to system design 
    Considine, TN (1996)
    The Real-time Control System Model is a system design methodology which provides robust systems based on Object technology. The paper will detail the components of the model including the control layers and the time-based ...
  • A script-based prototype for dynamic deadlock avoidance 
    Blewett, CN; Erwin, GJ (1996)
    Expert systems apply Artificial Intelligence (AI) techniques to an application area, aiming (usually) to mimic the behaviour of a human expert. However, there are some AI techniques which can be used to improve the internal ...
  • An organisational model for simplifying the complexity of managing software project 
    Zellouf, M; Prevot, P; Aubry, R (1995)
    The project success depends to a large degree on communication and coordination among team members. But project management systems and models do not support cooperative group work. Their basic philosophy is rather hierarchical ...
  • Task analysis: the missing link in software development methodologies 
    Wesson, JL; De Kock, G de V (1995)
    Systems development methods or software methodologies have evolved considerably over the past few years. This development has tended to fall into two main areas: Software Engineering and Human Computer Interaction (HCI). ...
  • Trends in compiler construction 
    Watson, BW (1995)
    Compiler writing techniques have undergone a number of major revisions over the past forty years. The introduction of object-oriented design and implementation techniques promises to improve the quality of compilers, while ...
  • Theory meets practice: using Smith's normalization in complex systems 
    Van der Merwe, A; Labuschagne, W (1996)
    In the middle 80s Smith introduced a new way of deriving fully normalized tables: His method was based on the use of an dependency list and a dependency diagram to produce fifth normal form directly. We introduce the use ...
  • Parallelism: an effective genetic programming implementation on low-powered mathematica workstations 
    Suleman, H; Hajek, M (1996)
    Mathematica has proven itself to be a suitable platform on which to develop prototype Genetic Programming applications. However, due to the sheer complexity of genetic programming calculations, non-trivial problems cannot ...
  • The IS workers, they are a-changin' 
    Smith, D (1996)
    As changes in Information Technology and organisations move into the sophisticated areas of client/server computing and open, integrated architectures, the IS professional needs to develop an increasing range of skills and ...
  • A validation model of the VMTP transport level protocol 
    Roux, HN; De Villiers, PJA (1996)
    The implementation of protocols can be speed up by incorporating formally validated designs in documents that describe new protocols. Unfortunately, this seldom happens in practice. It is proposed that a formally validated ...
  • A comparison of transaction management schemes in multidatabase systems 
    Renaud, K; Kotze, P (1996)
    In many applications today multiple pre-existing database systems are integrated into a single multiple database system called a multidatabase system. There are various characteristics of these systems which distinguish ...
  • COBIE: an integrated COBOL environment 
    Pillay, N (1996)
    Development software is one of the courses that first year students studying towards a Diploma in Financial Studies enrol for. This course contains an appreciable amount of RMCOBOL programming. Past experience is indicative ...
  • Examination timetabling 
    Parkinson, E; Warren, PR (1996)
    We investigate the performance of simulated annealing and tabu search, two new general problem solving heuristics, on an examination timetabling problem. These two techniques are described here and issues arising from ...
  • The Independent Online: a case study of Internet publishing 
    Morris, A (1996)
    The independent online is the Internet service of Independent Newspapers, South Africa's largest newspaper group. This paper is a case study of the events of the past year, including the lessons, successes and failures ...
  • Taxonomies and Toolkits: uses for the Mathematics of program construction 
    Watson, BW (1995)
    In this extended abstract, we present a brief description of the tutorial. The primary reference material, a book and some software (1] , is available for ftp from the Eindhoven University of Technology. In this tutorial, ...

Search UnisaIR


Browse

My Account