Search
Now showing items 11-15 of 15
Electronic text processing in the large South African life assurance companies
(1981)
The use of computer technology and magnetic storage media for production typing led to a new term "word processing". In this research word processing is considered to be part only of a more comprehensive concept - electronic ...
FLOW : a programming environment using diagrams
(1984)
A graphical language is developed as a generalization of the structured flowcharts proposed by Nessi and Shneiderman. This language can be used in the specification of procedures, procedure interfaces and data structures. ...
An Estelle compiler
(1988)
The increasing development and use of computer networks has necessitated international standards to be defined. Central to the standardization efforts is the concept of a Formal Description Technique (FDT) which is used ...
Office automation
(1989)
Office automation systems have become an essential tool for the operation of the modern office. With the emphasis of a modern office being placed on efficiency and ease of communication, office automation systems have ...
Specification and implementation of the Larch shared language
(1989)
This project aims to prototype formal specification in Larch. The motivation for looking at formal specifications stems from an appreciation of the problem outlined above, frustration with current methods, and a desire to ...