The Way of Z: Practical Programming with Formal Methods Book

	Preface
1	Formal methods	3
2	Why Use Formal Methods?	14
3	Formal methods and project management	21
4	What is Z?	31
5	A first example in Z	33
6	From prose to Z: control console	39
7	Introducing schemas: text editor	49
8	Elements	63
9	Structure	78
10	Logic	96
11	Synthesis	112
12	Schemas and schema calculus	122
13	Schema types and bindings	138
14	Generic definitions and free types	146
15	Formal reasoning	149
16	Document control system	165
17	Text processing	169
18	Eight queens	174
19	Computer graphics and computational geometry	180
20	Rule-based programming	189
21	Graphical user interface	199
22	Safety-critical protection system	211
23	Modelling large systems	218
24	Object-oriented programming	231
25	Concurrency and real time	234
26	Refinement	247
27	Program derivation and formal verification	254
28	From Z to code	265
	Further reading	297
A	Glossary of Z notation	299
B	Omitted features	304
C	Operator precedence	305
D	The Z mathematical tool-kit	308
E	Selected Laws	316
F	Solutions to selected exercises	322
G	Other formal notations	326
	Bibliography	328
	Index	340