Abstract
The Z notation for the formal specification of computer based systems has been in existence since the early 1980s. Since then, an international Z community has emerged, academic and industrial courses have been developed, an ISO standard has been adopted, and Z has been used on a number of significant software development projects, especially where safety and security have been important. This chapter traces the history of the Z notation and presents issues in teaching Z, with examples. A specific example of an industrial course is presented. Although subsequent notations have been developed, with better tool support, Z is still an excellent choice for general purpose specification and is especially useful in directing software testing to ensure good coverage.
| Original language | English |
|---|---|
| Title of host publication | Engineering Trustworthy Software Systems |
| Publisher | Springer |
| Pages | 103 - 151 |
| DOIs | |
| Publication status | Published - 1 Jan 2016 |