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.
Recommended text for the MSc in Advanced Computing 1995/96 --
@book(SS-ZIP, author = "Rosalind Barden and Susan Stepney and David Cooper", title = "Z in Practice", publisher = "Prentice-Hall", series = "BCS Practitioner Series", year = 1994 )