Institutional Repository

Browsing SAICSIT Proceedings: 1979-2001 by Title

Browsing SAICSIT Proceedings: 1979-2001 by Title

Sort by: Order: Results:

  • 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 ...
  • Venter, BH (1991)
    Most statically typed Algol-style languages were designed to conform with the view that a value belongs to one and only one type. The adoption of this view bought compiler simplicity at the ex­pense of language expressivity. ...
  • Licker, PS; Anderson, R; Macintosh, C; Van Kets, A (2001)
    This research looks into factors that affect the readability of web sites. For those with low literacy skills, low readability may prove to be an insurmountable barrier to profitable, comfortable website use. Two factors ...
  • Teichroew, D (1995)
    The term "software engineering" originally appeared as a (some would say, the) solution to the software crisis; the term that has been used to include all the problems, real or perceived, in the use of computers in society. ...
  • Barrow, J (1995)
    This paper describes SuperText, a computer program designed to support productive expository writing processes among students at a distance teaching university. Being able to write well is an import communication skill, ...
  • Barrow, J (1995)
    This paper describes SuperText, a computer program designed to support productive expository writing processes among students at a distance teaching university . Being able to write well is an important communication ...

Search UnisaIR


Browse

My Account