Skip to main content
SpringerLink
Log in

Refinement in Z and Object-Z

Foundations and Advanced Applications

  • Book
  • © 2001

Overview

Authors:
  1. John Derrick

    1. Computing Laboratory, University of Kent at Canterbury, Canterbury, Kent, UK

    View author publications

    You can also search for this author in PubMed   Google Scholar

  2. Eerke Boiten

    1. Computing Laboratory, University of Kent at Canterbury, Canterbury, Kent, UK

    View author publications

    You can also search for this author in PubMed   Google Scholar

  • This book provides the only broad overview of recent research on a topic of growing interest over the last few years

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 149.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (20 chapters)

  1. Front Matter

    Pages i-xviii
    Download chapter PDF

  2. Refining Z Specifications

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. An Introduction to Z

      • John Derrick, Eerke Boiten
      Pages 3-45

    3. Simple Refinement

      • John Derrick, Eerke Boiten
      Pages 47-61

    4. Data Refinement and Simulations

      • John Derrick, Eerke Boiten
      Pages 63-83

    5. Refinement in Z

      • John Derrick, Eerke Boiten
      Pages 85-118

    6. Calculating Refinements

      • John Derrick, Eerke Boiten
      Pages 119-140

    7. Promotion

      • John Derrick, Eerke Boiten
      Pages 141-160

    8. Testing and Refinenient

      • John Derrick, Eerke Boiten
      Pages 161-187

    9. A Single Simulation Rule

      • John Derrick, Eerke Boiten
      Pages 189-203

  3. Interfaces and Operations: ADTs Viewed in an Environment

    1. Front Matter

      Pages 205-205
      Download chapter PDF

    2. Refinement, Observation and Modification

      • John Derrick, Eerke Boiten
      Pages 207-224

    3. IO Refinement

      • John Derrick, Eerke Boiten
      Pages 225-251

    4. Weak Refinement

      • John Derrick, Eerke Boiten
      Pages 253-286

    5. Non-Atomic Refinement

      • John Derrick, Eerke Boiten
      Pages 287-318

    6. Case Study: A Digital and Analogue Watch

      • John Derrick, Eerke Boiten
      Pages 319-329

    7. Further Generalisations

      • John Derrick, Eerke Boiten
      Pages 331-334

  4. Object-Oriented Refinement

    1. Front Matter

      Pages 335-335
      Download chapter PDF

    2. An Introduction to Object-Z

      • John Derrick, Eerke Boiten
      Pages 337-357

    3. Refinement in Object-Z

      • John Derrick, Eerke Boiten
      Pages 359-375
Back to top

Keywords

About this book

Refinement is one of the cornerstones of the formal approach to software engineering, and its use in various domains has led to research on new applications and generalisation. This book brings together this important research in one volume, with the addition of examples drawn from different application areas. It covers four main themes:
- data refinement and its application to Z;
- generalisations of refinement that change the interface and atomicity of operations;
- refinement in Object-Z;
- and modelling state and behaviour by combining Object-Z with CSP.
Refinement in Z and Object-Z: Foundations and Advanced Applications provides an invaluable overview of recent research for academic and industrial researchers, lecturers teaching formal specification and development, industrial practitioners using formal methods in their work, and postgraduate and advanced undergraduate students.

Authors and Affiliations

  • Computing Laboratory, University of Kent at Canterbury, Canterbury, Kent, UK

    John Derrick, Eerke Boiten

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation