Skip to main content
SpringerLink
Log in
Book cover

Z User Workshop, London 1992

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

  • Conference proceedings
  • © 1993

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. 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 (19 papers)

  1. Front Matter

    Pages i-viii
    Download chapter PDF

  2. An International Survey of Industrial Applications of Formal Methods

    1. An International Survey of Industrial Applications of Formal Methods

      • Dan Craigen, Susan Gerhart, Ted Ralston
      Pages 1-5

  3. Language Issues and Reuse

    1. Front Matter

      Pages 7-7
      Download chapter PDF

    2. Putting Numbers into the Mathematical Toolkit

      • Samuel H. Valentine
      Pages 9-36

    3. Towards Libraries for Z

      • Ian Hayes, Luke Wildman
      Pages 37-51

    4. Plain guide to the Z Base Standard

      • J. E. Nicholls
      Pages 52-61

    5. Reuse and Adaptation of Z Specifications

      • K. Lano, H. Haughton
      Pages 62-90

  4. Safety-Critical Systems and Timing

    1. Front Matter

      Pages 91-91
      Download chapter PDF

    2. Requirements for Defence Standard 00–55

      • Andrew Bradley
      Pages 93-94

    3. Formal Specification and Development of Control System Input / Output

      • Jonathan Jacky
      Pages 95-108

    4. Preliminary Experience Using Z to Specify a Safety-Critical System

      • John C. Knight, Darrell M. Kienzle
      Pages 109-118

    5. Using Diagrams to give a Formal Specification of Timing Constraints in Z

      • A. C. Coombes, J. A. McDermid
      Pages 119-130

    6. Formal Methods in the Specification of Real-Time, Safety-Critical Control Systems

      • Alastair R. Ruddle
      Pages 131-146

  5. Object-Oriented Systems

    1. Front Matter

      Pages 147-147
      Download chapter PDF

    2. Introducing Hyper-Z — a New Approach to Object Orientation in Z

      • I. Maung, J. R. Howse
      Pages 149-165

    3. From Object-Z to C++: A Structural Mapping

      • G-H Bagherzadeh Rafsanjani, S. J. Colwill
      Pages 166-179

    4. Deriving Tests for Objects Specified in Z

      • Elspeth Cusack, Clazien Wezeman
      Pages 180-195

    5. Using Z in Communications Engineering ( Invited Talk )

      • Elspeth Cusack
      Pages 196-202
Back to top

Keywords

About this book

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 andalso potential industrial users of Z.

Editors and Affiliations

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

    J. P. Bowen, J. E. Nicholls

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation