Advertisement

Refinement in Z and Object-Z

Foundations and Advanced Applications

  • John Derrick
  • Eerke Boiten

Table of contents

  1. Front Matter
    Pages i-xviii
  2. Refining Z Specifications

    1. Front Matter
      Pages 1-1
    2. John Derrick, Eerke Boiten
      Pages 3-45
    3. John Derrick, Eerke Boiten
      Pages 47-61
    4. John Derrick, Eerke Boiten
      Pages 63-83
    5. John Derrick, Eerke Boiten
      Pages 85-118
    6. John Derrick, Eerke Boiten
      Pages 119-140
    7. John Derrick, Eerke Boiten
      Pages 141-160
    8. John Derrick, Eerke Boiten
      Pages 161-187
    9. John Derrick, Eerke Boiten
      Pages 189-203
  3. Interfaces and Operations: ADTs Viewed in an Environment

    1. Front Matter
      Pages 205-205
    2. John Derrick, Eerke Boiten
      Pages 207-224
    3. John Derrick, Eerke Boiten
      Pages 225-251
    4. John Derrick, Eerke Boiten
      Pages 253-286
    5. John Derrick, Eerke Boiten
      Pages 287-318
    6. John Derrick, Eerke Boiten
      Pages 319-329
    7. John Derrick, Eerke Boiten
      Pages 331-334
  4. Object-Oriented Refinement

    1. Front Matter
      Pages 335-335
    2. John Derrick, Eerke Boiten
      Pages 337-357
    3. John Derrick, Eerke Boiten
      Pages 359-375
    4. John Derrick, Eerke Boiten
      Pages 377-403
  5. Modelling State and Behaviour

    1. Front Matter
      Pages 405-405
    2. John Derrick, Eerke Boiten
      Pages 407-425
    3. John Derrick, Eerke Boiten
      Pages 427-437
    4. John Derrick, Eerke Boiten
      Pages 439-441
  6. Back Matter
    Pages 443-466

About this book

Introduction

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.

Keywords

Formal Methods Interfaces Object orientation Object-Z Refinement Simulation Software Engineering Software development formal method formal specification modeling

Authors and affiliations

  • John Derrick
    • 1
  • Eerke Boiten
    • 1
  1. 1.Computing LaboratoryUniversity of Kent at CanterburyCanterbury, KentUK

Bibliographic information