Z User Workshop, Cambridge 1994

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

  • J. P. Bowen
  • J. A. Hall

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

Table of contents

  1. Front Matter
    Pages i-x
  2. Fermenting and Distilling

    1. Robert Worden
      Pages 1-6
  3. Applications

    1. Front Matter
      Pages 7-7
    2. J. C. P. Woodcock, P. H. B. Gardiner, J. R. Hulance
      Pages 9-28
    3. Peter Mataga, Pamela Zave
      Pages 29-50
  4. Education

  5. Object-Orientation I

    1. Front Matter
      Pages 87-87
    2. Clazien Wezeman, Tony Judge
      Pages 108-119
  6. Semantics

    1. Front Matter
      Pages 139-139
    2. Jonathan Bowen, Mike Gordon
      Pages 141-167
    3. Peter Baumann
      Pages 168-184
    4. Peter T. Breuer, Jonathan P. Bowen
      Pages 185-209
  7. Methods

    1. Front Matter
      Pages 211-211
    2. Jon Hall, John McDermid
      Pages 213-229
    3. Fiona Polack, Keith C. Mander
      Pages 230-249
    4. Antoni Diller, Rosemary Docherty
      Pages 250-263
  8. Concurrency

    1. Front Matter
      Pages 265-265
    2. TLZ
      Leslie Lamport
      Pages 267-268
    3. Andy S. Evans
      Pages 269-281
  9. Object-Orientation II

  10. Back Matter
    Pages 357-407

About these proceedings


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.


Natural class concurrency inheritance object semantics

Editors and affiliations

  • J. P. Bowen
    • 1
  • J. A. Hall
    • 2
  1. 1.Programming Research GroupOxford University Computing LaboratoryOxfordUK
  2. 2.Praxis Systems plcBathUK

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag London 1994
  • Publisher Name Springer, London
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-19884-0
  • Online ISBN 978-1-4471-3452-7
  • Series Print ISSN 1431-1682
  • Buy this book on publisher's site
Industry Sectors
Finance, Business & Banking
IT & Software
Consumer Packaged Goods
Oil, Gas & Geosciences