Show simple item record  

dc.contributor.authorHenson, Martin C.
dc.contributor.authorReeves, Steve
dc.contributor.authorBowen, Jonathan P.
dc.date.accessioned2008-12-10T03:56:31Z
dc.date.available2008-12-10T03:56:31Z
dc.date.issued2003-06
dc.identifier.citationHenson, M.C., Reeves, S. & Bowen, J.P. (2000). Z logic and its consequences. Computing and Informatics, 22(3-4), 381-415.en_US
dc.identifier.urihttps://hdl.handle.net/10289/1571
dc.description.abstractThis paper provides an introduction to the specification language Z from a logical perspective. The possibility of presenting Z in this way is a consequence of a number of joint publications on Z logic that Henson and Reeves have co-written since 1997. We provide an information as well as formal introduction to Z logic and show how it may be used, and extended, to investigate issues such as equational logic, the logic of preconditions, the issue of monotonicity and both operation and data refinement.en_US
dc.format.mimetypeapplication/pdf
dc.language.isoen
dc.publisherInstitute of Informaticsen_US
dc.relation.urihttp://www.cai.sk/en_US
dc.rightsThis article has been published in the journal: Computing and Informatics. Used with Permission.en_US
dc.subjectZ Logicen_US
dc.titleZ logic and its consequencesen_US
dc.typeJournal Articleen_US
dc.relation.isPartOfComputing and Informaticsen_NZ
pubs.begin-page381en_NZ
pubs.elements-id29602
pubs.end-page415en_NZ
pubs.issue3-4en_NZ
pubs.volume22en_NZ


Files in this item

This item appears in the following Collection(s)

Show simple item record