Institutional Repository

Reasoning about the Properties of an Enterprise Information System.

Show simple item record van der Poll, John A. Kotzé, Paula 2012-02-09T07:24:49Z 2012-02-09T07:24:49Z 2004
dc.identifier.citation Proceedings of VVEIS'2004. pp.10-19 en
dc.description.abstract 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 certain reasoning heuristics for discharging proof obligations emerging from the specification is investigated and we show how two important proof obligations arising from the specification of a real-life enterprise may successfully be discharged using a suite of well-chosen heuristics. en
dc.language.iso en en
dc.subject Reasoning en
dc.subject Properties en
dc.subject Enterprise information system en
dc.subject Z specification en
dc.subject heuristics en
dc.subject proof obligations en
dc.title Reasoning about the Properties of an Enterprise Information System. en
dc.type Article en

Files in this item

This item appears in the following Collection(s)

Show simple item record

Search UnisaIR


My Account