Loading...
Thumbnail Image
Item

Z logic and its consequences

Abstract
This 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.
Type
Journal Article
Type of thesis
Series
Citation
Henson, M.C., Reeves, S. & Bowen, J.P. (2000). Z logic and its consequences. Computing and Informatics, 22(3-4), 381-415.
Date
2003-06
Publisher
Institute of Informatics
Degree
Supervisors
Rights
This article has been published in the journal: Computing and Informatics. Used with Permission.