Institutional Repository

Browsing SAICSIT Digital Archive by Author "Van der Poll, JA"

Browsing SAICSIT Digital Archive by Author "Van der Poll, JA"

Sort by: Order: Results:

  • Van der Poll, JA; Labuschagne, WA (South African Computer Society (SAICSIT), 1999)
    A formal specification language like Z permits the specifier to construct proofs which corroborate the aptness of the spec­ification. This process may be facilitated by establishing a partnership between the specifier and ...
  • Van der Poll, JA; Kotze, P (2001)
    A formal specification of a multi-level marketing (MLM} business is presented. Specifying a MLM business boils down to specifying properties of and operations on mathematical forests and trees. The usefulness of the ...

Search UnisaIR


Browse

My Account