Institutional Repository

Browsing Research Outputs (School of Computing) by Author "van der Poll, John A."

Browsing Research Outputs (School of Computing) by Author "van der Poll, John A."

Sort by: Order: Results:

  • Reasoning about the Properties of an Enterprise Information System. 
    van der Poll, John A.; Kotzé, Paula (2004)
    A condensed specification of a multi-level marketing enterprise in the Z specification language is presented and a number of proof obligations that result from operations on the state is stated. The feasibility of using ...
  • Use Case Maps as an Aid in the Construction of a Formal Specification 
    Dongmo, Cyrille; van der Poll, John A. (2009)
    A Use Case Map (UCM) is a scenario-based visual notation facilitating the requirements definition of complex systems. A UCM may be generated either from a set of informal requirements, or from use cases normally expressed ...

Search UnisaIR


Browse

My Account