Institutional Repository

Browsing South African Computer Journal (SACJ) by Author "Labuschagne, WA"

Browsing South African Computer Journal (SACJ) by Author "Labuschagne, WA"

Sort by: Order: Results:

  • Heuristics for resolution-based set-theoretic proofs 
    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 ...
  • Theory meets practice. Using Smith's normalization in complex systems 
    Van der Merwe, AJ; Labuschagne, WA (South African Computer Society (SAICSIT), 1997)
    In 1985 Smith introduced a new way of deriving fully normalized tables. His method was based on the use of a dependency list and a dependency diagram to produce fifth normal form directly. We introduce the use of end-line, ...

Search UnisaIR


Browse

My Account