Software Development with Z

Software Development with Z was published by Addison-Wesley in June 1992, ISBN 0-201-62757-4.

Software Development with Z introduces the mathematics that software engineers need to write specifications in Z, and to understand specifications written by others. The chapters are as follows:

• Introduction: presents an informal introduction to software development with Z.

• A simple Z specification: shows how Z can be used to specify a classical example of formal methods, the class manager's assistant.

• Sets and predicates: presents the elementary properties of sets and predicates, and the notations used in Z to represent them.

• Relations and functions: develops the material of the previous chapter to cover relations, functions, and sequences.

• Schemas and specifications: introduces the schema, the Z construct for representing state and operations.

• Data design: shows how Z can be used to record data design decisions.

• Algorithm design: shows how Z and Dijkstra's guarded command language can be used to record the algorithm designs for programs.

There are appendixes that include a sample specification for study, a summary of the notation, a list of other works, and sample solutions to selected exercises.

Back to my list of publications.

Back to my home page.