Institutional Repository

Browsing South African Computer Journal 1999(23) by Subject "Heuristics"

Browsing South African Computer Journal 1999(23) by Subject "Heuristics"

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 ...

Search UnisaIR


Browse

My Account