Structuring Z specifications: Some choices

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 967, Issue , 1995, Pages 203-223

  MacDonald, Anthony ^a   Carrington, David ^a  

^a UNIVERSITY OF QUEENSLAND   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTERS;

Z SPECIFICATIONS;

FORMAL SPECIFICATION;

EID: 84951805124     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-60271-2_121     Document Type: Conference Paper

References (16)

1. S. M. Brien and J. E. Nicho. M. Brien and J. E. Nicholls. Z base standard version 1.0. Technical Monograph PRG-107, Programming Research Group, Oxford University Computing Laboratory, November 1992.
2. R. Duke, G. Rose, and G. Smith. Object-Z: a Specification Language Advocated for the Description of Standards. Technical Report 94-45, Software Verification Research Centre, Dept. of Computer Science, University of Queensland, 1994.
3. A. Hall. Using Z as a specification calculus for object-oriented systems. In D. Bjerner, C.A.R. Hoáre, and H. Langmaack, editors, VDM'90: VDM and Z!, volume 428 of Lect. Notes in Comput. Sci., pages 290-318. Springer-Verlag, 1990.
4. Inn Hayes, editor. Specification Case Studies. International Series in Computer Science. Prentice Hall, London, UK, 2nd edition, 1993.
5. Inn Hayes and Luke Wildman. Towards libraries for Z. In J. P. Bowen and J. E. Nicholls, editors, Z User Workshop: Proceedings of the Seventh Annual Z User Meeting, London, December 199á, Workshops in Computing. Springer-Verlag, 1993.
6. Brian W. Kernighan and P. J. Plauger. The Elements of Programming Style. McGraw-Hill, second edition, 1978.
7. Kevin Lano and Howard Houghton, editors. Object-oriented specification case studies. Prentice Hall, 1994.
8. C. Lewerentz and T. Lindner. Case Study Production Cell: A Comparative Study in Formal Software Development. Lecture Notes in Computer Science. Springer-Verlag, 1994. in press.
9. T. Lindner. Task Description. In [8].
10. Anthony MacDonald and David Carrington. Z specification of the Production Cell. Technical Report TR94-46, Software Verification Research Centre, Univ. of Queensland, Australia, November 1994.
11. Anthony MacDonald and David Carrington. Structuring Z Specifications: Some Choices. Technical Report TR95-19, Software Verification Research Centre, Univ. of Queensland, Australia, January 1995.
12. G. Rose. Object-Z. In S. Stepney, R. Barden, and D. Cooper, editors, Object Orientation in Z, Workshops in Computing, pages 59-77. Springer-Verlag, 1992.
13. S. Schuman and D. Pitt. Object-oriented subsystem specification. In L. Meertens, editor, Program Specification and Transformation, pages 313-341. North-Holland, 1987.
14. M. Spivey. An introduction to Z and formal specifications. Software Engineering Journal, 4(1):40-50, January 1989.
15. J. M. Spivey. The Z Notation: A Reference Manual. Prentice Hall, second edition, 1992.
16. S. Stepney, R. Barden, and D. Cooper, editors. Object Orientation in Z. Workshops in Computing. Springer-Verlag, 1992