Institutional Repository

Browsing South African Computer Journal (SACJ) by Subject "Theorem-proving"

Browsing South African Computer Journal (SACJ) by Subject "Theorem-proving"

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 ...
  • Mende, J. (South African Institute of Computer Scientists and Information Technologists, 1990)
    In order to design and operate a complex computer based information system, one needs to partition its transformation process into modules of manageable size. The same process can be partitioned in many different ways, ...

Search UnisaIR


Browse

My Account