OXFORD UNIVERSITY COMPUTING LABORATORY PROGRAMMING RESEARCH GROUP
Proceedings of the Fourth Annual
Z Users Meeting Friday 15th December 1989 Rewley House Wellington Square Oxford together with an additional
Z Technical Meeting Thursday 14th December 1989 Wolfson College Oxford
Programme Committee Jonathan Bowen, PRG Oxford Dr D A Duce, RAL Chilton Prof Pat Hall, Brunel University Tim Hoverd, Logica Research Peter Lupton, IBM Hursley John Nicholls, PRG Oxford (Chairman) Dr Chris Sennett, RSRE Malvern
Further copies of this Proceedings, PRG monographs and other Z related material are available. For more information, please contact: The Librarian Oxford University Computing Laboratory Programming Research Group 8{11 Keble Road Oxford OX1 3QD England Tel:
0865-273837 (librarian) 0865-273838 (general enquiries) Fax: 0865-273839 Email:
[email protected] (JANET)
Contents Z Technical and Users Meeting Paper No. Paper Title 1
Type Inference in Z
2
Minimisation in Formal Speci cation and Design From Z Programs to Z Speci cations Computer Aided Transformation of Z into Prolog From Z Speci cations to functional implementations
3 4 5 6 7 8 9 10 11 12 13 14 15
A Generalisation of Bags in Z
Author(s) Bernard Sufrin, Mike Spivey PRG Andy Gravell University of Southampton Peter Breuer, Kevin Lano PRG A J J Dick Racal Research Mike Johnson, Paul Sanders British Telecom
Ian Hayes University of Queensland Formaliser { An interactive Mike Flynn Support Tool for Z Logica Using Z to develop D Brownbridge a Case Toolset Praxis Using Z to describe Trevor Nash Really large systems ICL Results of using Z in CICS M Phillips IBM Hursley Structural Metrics for Robin Whitty Z Speci cation South Bank Polytechnic Educating Management in Z David Cooper CITI The Knuth-Bendix Completion Algorithm A Smith and its Speci cation in Z RSRE Using Z to describe POSIX M McMorran, IBM D Mole, South Bank Polytechnic A Message Passing System Mike Benjamin An Example of combining CSP & Z British Aerospace
Selected Z Bibliography & Posters
Selected Z Bibliography Jonathan Bowen December 1989
Posters