Browsing South African Computer Journal 1995(13) by Type "Article"

Now showing items 1-4 of 4

Functionality decomposition by compositional correctness preserving transformation

Brinksma, E; Langerak, R (South African Computer Society (SAICSIT), 1995)

We present an algorithm for the decomposition of processes in a process algebraic framework. Decomposition, or the refinement of process substructure, is an important design principle in the top-down development of concurrent ...
A gentle introduction to domain theory: domains and powerdomains

Goslett, J.; Melton, A (South African Computer Society (SAICSIT), 1995)

This tutorial is a companion paper to the tutorial Denotational Semantics and Domain Theory by Goslett, Hulley, and Melton. The purpose of the earlier tutorial was to present a computationally intuitive introduction to ...
Modal logics for programs

Goldblatt, R (South African Computer Society (SAICSIT), 1995)

These lectures provide an introduction to modal logic and its use in formalising reasoning about the behaviour of computational processes. They begin with a general introduction to the syntax, semantics, and proof-theory ...
The refinement calculus

Morgan, C (South African Computer Society (SAICSIT), 1995)

The refinement calculus, based on weakest preconditions, elaborates imperative program developments as a series of steps linked by a mathematical refinement relation. Specifications and executable code are regarded equally ...

Search UnisaIR