Institutional Repository

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

Browsing College of Science, Engineering and Technology 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 ...
  • 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 ...
  • 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 ...
  • Heuristics for resolution-based set-theoretic proofs 
    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 ...
  • Validating reasoning heuristics using next generation theorem provers 
    Steyn, Paul Stephanes (2009-01)
    The specification of enterprise information systems using formal specification languages enables the formal verification of these systems. Reasoning about the properties of a formal specification is a tedious task that ...

Search UnisaIR


Browse

My Account