UnisaIR Home
→
College of Science, Engineering and Technology
→
School of Computing
→
SAICSIT Digital Archive
→
South African Computer Journal (SACJ)
→
South African Computer Journal 1998(22)
→
Browsing South African Computer Journal 1998(22) by Issue Date

Browsing South African Computer Journal 1998(22) by Issue Date

Now showing items 1-5 of 5

pGCL: formal reasoning for random algorithms

Morgan, C; McI, A (South African Computer Society (SAICSIT), 1998)

Dijkstra's guarded-command language GCL contains explicit 'demonic' nondeterminism, representing abstraction from (or ignorance of ) which of two program fragments will be executed. We introduce probabilistic nondeterminism ...
Teaching math more effectively, through the design of calculational proofs

Gries, D; Schneider, FB (South African Computer Society (SAICSIT), 1998)
Problem analysis using small problem frames

Jackson, MA (South African Computer Society (SAICSIT), 1998)

The notion of a problem frame is introduced and explained, and its use in analysing and structuring problems is illustrated. A problem frame characterises a class of simple problem. Realistic problems are seen as compositions ...
A logic for the design of multiprogramming systems

Misra, J (South African Computer Society (SAICSIT), 1998)

This paper presents a short introduction to the UNITY logic, a fragment of linear temporal logic. The logic was designed to specify safety and progress properties of reactive systems. A version of the UNITY ...
Where do software architectures come from? Systematic development from domains and requirements. A re-assessment of software engineering?

Bjorner, D (South African Computer Society (SAICSIT), 1998)

In this paper we show how details of a software design emerges in two steps: software architecture and program organisation and from first having established careful descriptions of the application domain and of functional ...

Browsing South African Computer Journal 1998(22) by Issue Date

Browsing South African Computer Journal 1998(22) by Issue Date

Search UnisaIR

Browse

All of UnisaIR

This Collection

My Account