College of Science, Engineering and Technology: Recent submissions

  • 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 ...
  • Generating relations using formal grammars 
    von Solms, S. H. (Computer Society of South Africa (on behalf of SAICSIT), 1987)
    Grammars generating 2-dimensional arrays have been studied by many people [1, 2, 3, 4). One effort was Random Context Array Grammars [4], where different types of context conditions placed on the production, were used ...
  • Applying software engineering methods to instructional systems development 
    Kotze, P De Villiers, R (South African Computer Society (SAICSIT), 1997)
    The research reported in this paper aims to integrate software engineering approaches with instructional factors in the requirements analysis, design and production phases of instructional software development. The integration ...
  • 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. ...
  • Pointers as a data type 
    Philips, N.C.K. Postma, Stef W. (Computer Society of South Africa (on behalf of SAICSIT), 1987)
    The distinction between an abstract data type and an implementation of a data type is not as clear as is commonly thought. A hash table can be used to implement the type bag but few of our colleagues think of a hash table ...
  • Common approach to some informational systems 
    Orlowska, M.E. (Computer Society of South Africa (on behalf of SAICSIT), 1987)
    In this paper we consider relationships between a complete system [6], an L-system [3], a stochastic system [13] and an N-system [8]. We introduce a notion of the induction of one system by another. We prove the important ...
  • Three packaging rules for information system design 
    Mende, J. (Computer Society of South Africa (on behalf of SAICSIT), 1987)
    After identifying the processing functions required in a computer based information system, the designer needs to combine them into an optimal set of load units. Some "packaging" arrangements yield a better system ...
  • The ELSIM language: an FSM-based language for the ELSIM SEE 
    Du Plessis, A.L. Bornman, C.H. (Computer Society of South Africa (on behalf of SAICSIT), 1987)
    A fonnal requirements specification language, the ELSIM language, is presented. The language uses conceptual models for modelling data processing, and control characteristics and behavior of real-time systems, and is ...
  • A comparison of academic and practitioner perceptions of the changing role of the systems analyst: an empirical study 
    Crossman, T.D. (Computer Society of South Africa (on behalf of SAICSIT), 1987)
    Changes in technology introduce new job responsibilities and demand new skills profiles from personnel involved in application software development. Inability to perfonn competently within these job responsibilities can ...
  • Strategic planning models for information systems 
    Bruwer, P.J.S. (Computer Society of South Africa (on behalf of SAICSIT), 1987)
    A key to the success of the information system function in organizations is a comprehensive, effective planning system. According to R.V. Head's[l] pyramid structure of an Information system managers are classified into ...
  • A model to evaluate the success of information centres in organizations 
    Bruwer, P.J.S. Groenewald, J.J. (Computer Society of South Africa (on behalf of SAICSIT), 1987)
    The objective of this research report was to investigate some South African organizations who have been operating information centres (IC's) successfully for more than two years. As the success of the IC is strongly · ...
  • Abstracts of Old mutual conference for Ph.D and M.Sc students In Computer Science, Stellenbosch, 2-3 October 1987 
    Unknown author (Computer Society of South Africa (on behalf of SAICSIT), 1987)
  • A program development environment for microcomputers 
    Byron-Moore, S.P. (Computer Society of South Africa (on behalf of SAICSIT), 1987)
    Any distractions in the working environment can affect the quality and quantity of output. For example, noise may disturb a person's thought processes and lead to errors. In addition, the programmer is subject to other, ...
  • 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 ...
  • An AI search algorithm to obtain the shortest simplex path 
    Scott, TG Hattingh, J.M. Steyn, T (South African Computer Society (SAICSIT), 1996)
    The simplex method is one way of solving a linear programming problem (LP-problem). An A* search algorithm based on a certain evaluation function has been developed to obtain the shortest path to an optimal solution within ...
  • An integrated classification of multiple database systems 
    Renaud, K Kotze, P (South African Computer Society (SAICSIT), 1996)
    In many applications today multiple pre-existing database systems are integrated into one multiple database system. There are various characteristics of these systems which distinguish them from other types of multiple ...

Search UnisaIR


Browse

My Account