By the same authors

Z in practice

Research output: Book/ReportBook



Publication details

DatePublished - 1995
PublisherPrentice Hall
Original languageUndefined/Unknown
ISBN (Print)978-0-13-124934-9

Publication series

NameBCS practitioner series
PublisherPrentice Hall


This book describes various methods for developing Z specifications, and explains some advanced Z techniques. It is aimed at people who already understand the basics of Z and now wish to become users of it. It includes five case studies and many smaller examples of using Z, illustrating different features of the language. It also contains a comprehensive glossary with links to examples in the main text that illustrate the definitions in use.

ZIP was a collaborative UK DTI-IED project set up to improve the take-up and use of Z in industry. The partners were BAe, BP, IBM, Logica, Oxford PRG, Praxis, and RAL. This book grew out of some of the methods work done on the ZIP project.

Discover related content

Find related publications, people, projects, datasets and more using interactive charts.

View graph of relations