Reasoning about the Properties of an Enterprise Information System.

dc.contributor.author	van der Poll, John A.
dc.contributor.author	Kotzé, Paula
dc.date.accessioned	2012-02-09T07:24:49Z
dc.date.available	2012-02-09T07:24:49Z
dc.date.issued	2004
dc.identifier.citation	Proceedings of VVEIS'2004. pp.10-19	en
dc.identifier.uri	http://hdl.handle.net/10500/5376
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