Skip to main content
SpringerLink
Log in

Z User Workshop

Proceedings of the Fourth Annual Z User Meeting Oxford, 15 December 1989

  • Conference proceedings
  • © 1990

Overview

Editors:
  1. John E. Nicholls

    1. Oxford University Programming Research Group, Oxford, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Workshops in Computing (WORKSHOPS COMP.)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (16 papers)

  1. Front Matter

    Pages i-viii
    Download chapter PDF

  2. Opening address: The state of use of Formal Methods

    • Brian Oakley
    Pages 1-5

  3. Type Inference in Z

    • J. M. Spivey, B. A. Sufrin
    Pages 6-31

  4. Minimisation in Formal Specification and Design

    • A. M. Gravell
    Pages 32-45

  5. From Programs to Z Specifications

    • K. Lano, P. T. Breuer
    Pages 46-70

  6. Computer Aided Transformation of Z into Prolog

    • A. J. J. Dick, P. J. Krause, J. Cozens
    Pages 71-85

  7. From Z Specifications To Functional Implementations

    • Michael Johnson, Paul Sanders
    Pages 86-112

  8. A Generalisation of Bags in Z

    • Ian Hayes
    Pages 113-127

  9. Formaliser — An Interactive Support Tool for Z

    • Mike Flynn, Tim Hoverd, David Brazier
    Pages 128-141

  10. Using Z to Develop a CASE Toolset

    • David Brownbridge
    Pages 142-149

  11. Using Z to Describe Large Systems

    • T. C. Nash
    Pages 150-178

  12. CICS/ESA 3.1 Experiences

    • Mark Phillips
    Pages 179-185

  13. Structural Metrics for Z Specifications

    • Robin Whitty
    Pages 186-191

  14. Educating Management in Z

    • David Cooper
    Pages 192-194

  15. The Knuth-Bendix Completion Algorithm and Its Specification in Z

    • Alf Smith
    Pages 195-220

  16. A Message Passing System. An example of combining CSP and Z

    • M. Benjamin
    Pages 221-228

  17. Structured methodologies & formal notations: Developing a framework for synthesis and investigation

    • Tony Bryant
    Pages 229-241

  18. Back Matter

    Pages 243-279
    Download chapter PDF
Back to top

Keywords

About this book

The mathematical concepts and notational conventions we know of as Z were first proposed around 1981. Its origins were in line with the objectives of the PRG - to establish a mathematical basis for program­ ming concepts and to verify the work by case studies with industry. Hence among early Z users some were from academic circles, with interests in the mathematical basis of programming; others came from industry and were involved with pilot projects and case studies linked with the Programming Research Group. Four years ago we had the first Z User Meeting, a fairly modest affair with representatives more or less equally divided between academia and industry. At the first meeting there were, as in this meeting, a variety of technical papers, reports of work in progress and discussions. A number of people from industry came along, either because they had begun to use Z or were curious about the new direction. In the discussion sessions at the end of the meeting, there were calls from attendees for the establishment of a more stable base for the notation, including work on its documentation and standards. Many of these requests have now been satisfied and the notation is now being proposed for standards development.

Editors and Affiliations

  • Oxford University Programming Research Group, Oxford, UK

    John E. Nicholls

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation