Refinement in Z and Object-Z: Foundations and Advanced Applications

by Derrick, John
ISBN: 9781447153542
Availability:
  • Online Only
$109.99

Available Offers

Pickup at {0} Out of stock at {0} Check other stores
FREE -
Ship to Me
$3.99 -

Overview

Preface.- Part I - Refining Z Specifications.- An Introduction to Z.- Simple Refinement.- Data Refinement and Simulations.- Refinement in Z.- Calculating Refinements.- Promotion.- Testing and Refinement.- A Single Simulation Rule.- Part II - Interfaces and Operations: ADTs Viewed in an Environment.- Refinement, Observation and Modification.- IO Refinement.- Weak Refinement.- Non-Atomic Refinement.- Case Study: A Digital and Analogue Watch.- Further Generalisations.- Part III - Object-Oriented Refinement.- An Introduction to Object Z.- Refinement in Object-Z.- Class Refinement.- Part IV - Modelling State and Behaviour.- Combining CSP and Object-Z.- Refining CSP and Object-Z Specifications.- Conclusions.- Glossary of Notation.- Index.

  • Format: Hardcover
  • Author: Derrick, John
  • ISBN: 9781447153542
  • Condition: New
  • Dimensions: 9.21 x 1.13
  • Number Of Pages: 492
  • Publication Year: 2013
Language: English