The goal of this book is to provide a comprehensive and systematic introduction to the important and highly applicable method of data refinement and the simulat

On the Refinement Calculus gives one view of the development of the refinement calculus and its attempt to bring together - among other things - Z specification

The Sixth Refinement Workshop took place at City University in London from 5th to 7th January 1994. The present volume includes all of the papers which were sub

Refinement is one of the cornerstones of a formal approach to software engineering. Refinement is all about turning an abstract description (of a soft or hardwa