Institutional Repository

Browsing Research Outputs (Computing) by Subject "Resolution"

UnisaIR/Manakin Repository

Browsing Research Outputs (Computing) by Subject "Resolution"

Sort by: Order: Results:

  • Van der Poll, J.A.; Labuschagne, W.A. (1999-07)
    A formal specification language like Z permits the specifier to construct proofs which collaborate the aptness of the specification. This process may be facilitated by establishing a partnership between the specifier and ...
  • Van der Poll, J.A.; Kotze, P. (2003-06)
    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