Institutional Repository

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

UnisaIR/Manakin Repository

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

Sort by: Order: Results:

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