Z User Workshop, London 1992

Proceedings of the Seventh Annual Z User Meeting, London 14–15 December 1992

  • J. P. Bowen
  • J. E. Nicholls
Conference proceedings

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

Table of contents

  1. Front Matter
    Pages i-viii
  2. An International Survey of Industrial Applications of Formal Methods

    1. Dan Craigen, Susan Gerhart, Ted Ralston
      Pages 1-5
  3. Language Issues and Reuse

    1. Front Matter
      Pages 7-7
    2. Samuel H. Valentine
      Pages 9-36
    3. Ian Hayes, Luke Wildman
      Pages 37-51
    4. J. E. Nicholls
      Pages 52-61
    5. K. Lano, H. Haughton
      Pages 62-90
  4. Safety-Critical Systems and Timing

  5. Object-Oriented Systems

    1. Front Matter
      Pages 147-147
    2. G-H Bagherzadeh Rafsanjani, S. J. Colwill
      Pages 166-179
    3. Elspeth Cusack, Clazien Wezeman
      Pages 180-195
  6. Information Systems

  7. Methods, Quality and Animation

    1. Front Matter
      Pages 253-253
    2. Rosalind Barden, Susan Stepney
      Pages 255-280
    3. Glyn Normington
      Pages 281-293
    4. Matthew Love
      Pages 294-306
  8. Back Matter
    Pages 307-350

About these proceedings


The Z notation has been developed at the Programming Research Group at the Oxford University Computing Laboratory and elsewhere for over a decade. It is now used by industry as part of the software (and hardware) development process in both Europe and the USA. It is currently undergoing BSI standardisation in the UK, and has been proposed for ISO standardisation internationally. In recent years researchers have begun to focus increasingly on the development of techniques and tools to encourage the wider application of Z and other formal methods and notations. This volume contains papers from the Seventh Annual Z User Meeting, held in London in December 1992. In contrast to previous years the meeting concentrated specifically on industrial applications of Z, and a high proportion of the participants came from an industrial background. The theme is well represented by the four invited papers. Three of these discuss ways in which formal methods are being introduced, and the fourth presents an international survey of industrial applications. It also provides a reminder of the improvements which are needed to make these methods an accepted part of software development. In addition the volume contains several submitted papers on the industrial use of Z, two of which discuss the key area of safety-critical applications. There are also a number of papers related to the recently-completed ZIP project. The papers cover all the main areas of the project including methods, tools, and the development of a Z Standard, the first publicly-available version of which was made available at the meeting. Finally the volume contains a select Z bibliography, and section on how to access information on Z through comp.specification.z, the international, computer-based USENET newsgroup. Z User Workshop, London 1992 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.


C++ programming language Clean Mathematica SQL constraint development formal method formal methods formal specification language object orientation programming real-time software structured analysis

Editors and affiliations

  • J. P. Bowen
    • 1
  • J. E. Nicholls
    • 1
  1. 1.Programming Research GroupOxford University Computing LaboratoryOxfordUK

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag London 1993
  • Publisher Name Springer, London
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-19818-5
  • Online ISBN 978-1-4471-3556-2
  • Series Print ISSN 1431-1682
  • Buy this book on publisher's site
Industry Sectors
Chemical Manufacturing
Finance, Business & Banking
IT & Software
Consumer Packaged Goods
Energy, Utilities & Environment