Skip to main content
SpringerLink
Log in

Z User Workshop, Cambridge 1994

Proceedings of the Eighth Z User Meeting, Cambridge 29–30 June 1994

  • Conference proceedings
  • © 1994

Overview

Editors:
  1. J. P. Bowen

    1. Programming Research Group, Oxford University Computing Laboratory, Oxford, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. J. A. Hall

    1. Praxis Systems plc, Bath, 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 (20 papers)

  1. Front Matter

    Pages i-x
    Download chapter PDF

  2. Fermenting and Distilling

    1. Fermenting and Distilling

      • Robert Worden
      Pages 1-6

  3. Applications

    1. Front Matter

      Pages 7-7
      Download chapter PDF

    2. The Formal Specification in Z of Defence Standard 00–56

      • J. C. P. Woodcock, P. H. B. Gardiner, J. R. Hulance
      Pages 9-28

    3. Formal Specification of Telephone Features

      • Peter Mataga, Pamela Zave
      Pages 29-50

    4. A tale of two paradigms: Formal methods and software testing

      • D. Carrington, P. Stocks
      Pages 51-68

  5. Object-Orientation I

    1. Front Matter

      Pages 87-87
      Download chapter PDF

    2. An Object-Oriented Development Framework for Z

      • Graeme Smith
      Pages 89-107

    3. Z for Managed Objects

      • Clazien Wezeman, Tony Judge
      Pages 108-119

    4. Specifying and Interpreting Class Hierarchies in Z

      • Anthony Hall
      Pages 120-138

  6. Semantics

    1. Front Matter

      Pages 139-139
      Download chapter PDF

    2. Z and HOL

      • Jonathan Bowen, Mike Gordon
      Pages 141-167

    3. Z and Natural Semantics

      • Peter Baumann
      Pages 168-184

    4. Towards Correct Executable Semantics for Z

      • Peter T. Breuer, Jonathan P. Bowen
      Pages 185-209

  7. Methods

    1. Front Matter

      Pages 211-211
      Download chapter PDF

    2. Towards a Z Method: Axiomatic Specification in Z

      • Jon Hall, John McDermid
      Pages 213-229

    3. Software Quality Assurance using the SAZ Method

      • Fiona Polack, Keith C. Mander
      Pages 230-249

    4. Z and Abstract Machine Notation: A Comparison

      • Antoni Diller, Rosemary Docherty
      Pages 250-263
Back to top

Keywords

About this book

This volume contains papers from the Eighth Z User Meeting, to be held at the University of Cambridge from 29 - 30 June 1994. The papers cover a wide range of issues associated with Z and formal methods, with particular reference to practical application. These issues include education, standards, tool support, and interaction with other design paradigms such as consideration of real-time and object-oriented approaches to development. Among the actual topics covered are: the formal specification in Z of Defence Standard 00-56; formal specification of telephone features; specifying and interpreting class hierarchies in Z; and software quality assurance using the SAZ method. Z User Workshop, Cambridge 1994 provides an important overview of current research into industrial applications of Z, and will provide invaluable reading for researchers, postgraduate students and also potential industrial users of Z.

Editors and Affiliations

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

    J. P. Bowen

  • Praxis Systems plc, Bath, UK

    J. A. Hall

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation