Revising Z: Part II - Logical development

Formal Aspects of Computing

Volumn 11, Issue 4, 1999, Pages 381-401

  Henson, Martin C ^b   Reeves, Steve ^a  

^a UNIVERSITY OF WAIKATO   (New Zealand)

^b NONE

Author keywords

Logics of specification languages; Semantics of specification languages; Specification language Z

Indexed keywords

EID: 0043211178     PISSN: 09345043     EISSN: None     Source Type: Journal    
DOI: 10.1007/s001650050039     Document Type: Article

References (15)

1. Brien, S. and Martin, A.: A tutorial of proof in standard Z. Technical report, Technical monograph PRG-120, University of Oxford, 1996.
2. Bowen, J.: Formal specification and documentation using Z. International Thompson Computer Press, 1996.
3. nd ed.). J. Wiley and Sons, 1994.
4. Henson, M. C. and Reeves, S.: A logic for the schema calculus. In J. P Bowen, Andreas Fett, and Michael G. Hinchey, editors, 11th Int. Conf. ZUM'98: the Z Formal Specification Notation, LNCS 1493, pages 172-191. Springer-Verlag, 1998.
5. Henson, M. C. and Reeves, S.: Revising Z: Part I - logic and semantics. Formal Aspects of Computing Journal, 11(4): 359-380, 1999.
6. Jones, C. B.: Partial functions and logics: A warning. Information Processing Letters, 54(2):65-67, 1995.
7. Leisenring, A. C.: Mathematical logic and Hilbert's ∈-symbol. McDonald Technical and Scientific, 1969.
8. Martin, A.: A revised deductive system for Z. Technical report, Technical Report TR98-21, SVRC, University of Queensland, 1998.
9. Nicholls, J. (ed.): Z Notation: Version 1.2. Z Standards Panel, 1995.
10. Sheppard, D.: An introduction to formal specification with Z and VDM. McGraw-Hill International, 1995.
11. Spivey, J. M.: Understanding Z: A specification language and its formal semantics. C.U.P., 1988.
12. Spivey, J. M.: The Z notation: A reference manual. Prentice Hall, 1992.
13. Toyn, I. (ed.): Z Notation: Draft 0.8. Unpublished draft, 1997.
14. [Vö198] Völker, N.: Private communication, 1998.
15. Woodcock, J. and Davies, J.: Using Z: Specification, Refinement and Proof. Prentice Hall, 1996.