Using Z: Specification, Refinement, and Proof

By Jim Woodcock, Jim Davies; Prentice Hall, 1996, ISBN 0139484728. Treats formal techniques and methods for software engineering via Z. Full text, slides, ...

Cards

We have prepared a set of quick-reference cards to accompany each chapter. These are available in PDF format, for printing, and in HTML format, ...

Exercises

We have prepared a set of exercises to accompany each chapter. These are available in PDF format, for printing, and in HTML format for viewing on-line. ...

Slides

We have prepared a set of slides, or overhead transparencies, to accompany each chapter. These are available in PDF format, for slideshows, transparencies, ...

Text

The complete text of the book is available in HTML/gif format; you can browse it quickly it chapter-by-chapter. Better still, you can browse a hypertext PDF ...

Chapter One: Introduction

Today's software comes with extensive documentation: user guides, reference manuals, and design documents. There are on-line help systems, ...

Downloading: exercises

All exercises are packaged as zip archives. The HTML archives contain a html file and a gif file for every slide, all stored in a single subdirectory. ...

Using Z - Slides

Using Z - Slides. These slides are intended for use with the book Using Z by Jim Woodcock and Jim Davies, published by Prentice-Hall (ISBN number ...

Contents

Contents · Text · Acknowledgements; Blurb; How to contact the authors; The cover of the book; Sending email to the authors; A guide to using the book; ...

[PDF] Using Z

File Format: PDF/Adobe Acrobat Using Z. Specification, Refinement, and Proof. Jim Woodcock. University of Oxford. Jim Davies. University of Oxford. Copyright: this hypertext version of ...