Institutional Repository

Browsing Research Outputs (School of Computing) by Subject "Heuristics"

Browsing Research Outputs (School of Computing) by Subject "Heuristics"

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 ...
  • Heuristics for resolution-based set-theoretic proofs 
    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 ...

Search UnisaIR


Browse

My Account