Skip to main content
SpringerLink
Log in

Z User Workshop, Oxford 1990

Proceedings of the Fifth Annual Z User Meeting, Oxford, 17–18 December 1990

  • Conference proceedings
  • © 1991

Overview

Editors:
  1. J. E. Nicholls

    1. Programming Research Group, Oxford University Computing Laboratory, 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 (24 papers)

  1. Front Matter

    Pages i-ix
    Download chapter PDF

  2. Theory and Foundations

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. A Simpler Semantics for Z

      • P. H. B. Gardiner, P. J. Lupton, J. C. P. Woodcock
      Pages 3-11

    3. Interpretations of Z Schema Operators

      • Ian Hayes
      Pages 12-26

    4. Promoting Forward Simulation

      • P. J. Lupton
      Pages 27-49

    5. Operation Schema Iterations

      • P. Luigi Iachini
      Pages 50-57

    6. Interference Revisited

      • C. B. Jones
      Pages 58-73

  3. Standards and Tools

    1. Front Matter

      Pages 75-75
      Download chapter PDF

    2. A Tool for Defining the Architecture of Z Specifications

      • Andy Coombes, John McDermid
      Pages 77-92

    3. CADiℤ — Computer Aided Design in Z

      • David Jordan, John McDermid, Ian Toyn
      Pages 93-104

    4. Machine support for Z: the zedB tool

      • Dave Neilson
      Pages 105-128

    5. The ZIP project

      • Brian Hepworth, Dan Simpson
      Pages 129-133

  4. Methods

    1. Front Matter

      Pages 135-135
      Download chapter PDF

    2. What is a Good Formal Specification?

      • Andrew Gravell
      Pages 137-150

    3. Z++, An Object-Orientated Extension To Z

      • K. Lano
      Pages 151-172

    4. Modular Object-Oriented Z Specifications

      • Silvio Lemos Meira, Ana Lúcia C. Cavalcanti
      Pages 173-192

    5. An Approach to Object Oriented Specification using Z

      • P. J. Whysall, J. A. McDermid
      Pages 193-215

    6. Data Flow Diagrams and Z

      • Gill Randell
      Pages 216-227

    7. Using Yourdon and Z : an Approach to Formal Specification

      • Lesley Semmens, Pat Allen
      Pages 228-253

    8. A Case Study in Representing a Model: To Z or Not To Z?

      • Jonathan D. Moffett, Morris S. Sloman
      Pages 254-268
Back to top

Keywords

Editors and Affiliations

  • Programming Research Group, Oxford University Computing Laboratory, Oxford, UK

    J. E. Nicholls

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation