Formal Specification and Documentation using Z
by Jonathan Bowen

Table of Contents

Foreword

Preface

Part I: Introduction

Chapter 1: Formal Specification using Z
Chapter 2: Industrial Use of Formal Methods (see slides)
Chapter 3: A Brief Introduction to Z (see slides #1 and slides #2)

Part II: Network Services

Chapter 4: Documentation using Z
Chapter 5: A File Storage Service (see slides)

Part III: UNIX Software

Chapter 6: A Text Formatting Tool * (see slides)
Chapter 7: An Event-based Input System

Part IV: Instruction Sets

Chapter 8: Machine Words
Chapter 9: The Transputer Instruction Set

Part V: Graphics

Chapter 10: Basic Graphical Concepts
Chapter 11: Raster-Op Functions

Part VI: Window Systems

Chapter 12: The ITC `WM' Window Manager
Chapter 13: Blit Windows
Chapter 14: The X Window System
Chapter 15: Formal Specification of Existing Systems

Appendices

Appendix A: Information on Z
Appendix B: Z Glossary
Appendix C: Literature Guide

Note: The links for Appendices B and C above are to older on-line versions of these sections. For the latest versions, see the book itself.

Bibliography