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

by John Derrick, Eerke A Boiten, Eerke A. Boiten

Book 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...

• Format: Paperback
• Language: English
• ISBN: 144716167X
• ISBN13: 9781447161677
• Release Date: August 2015
• Publisher: Springer
• Length: 492 Pages
• Weight: 1.56 lbs.
• Dimensions: 1.0" x 6.1" x 9.2"