Institutional Repository

Browsing College of Science, Engineering and Technology by Subject "OTTER"

Browsing College of Science, Engineering and Technology by Subject "OTTER"

Sort by: Order: Results:

  • Enhancing the Established Strategy for Constructing a Z Specification 
    Van der Poll, John A.; Kotze, Paula (2005)
    The Established Strategy for drawing up a Z specification document focuses on a more abstract activity of specification, namely, how to combine schemas but is largely silent about how to construct a schema. Schema ...
  • Evaluating reasoning heuristics for a hybrid theorem proving platform 
    Ackermann, Jacobus Gideon (2018-06)
    The formalisation of first-order logic and axiomatic set theory in the first half of the 20th century—along with the advent of the digital computer—paved the way for the development of automated theorem proving. In the ...
  • A multi-level Marketing case study : specifying forests and trees in Z 
    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 ...
  • The specification of a multi-level marketing business 
    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