The Z notation: Whence the cause and whither the course?
Bowen, J. (2016). The Z notation: Whence the cause and whither the course? in: Engineering Trustworthy Software Systems Springer. pp. 103-151
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.
|Engineering Trustworthy Software Systems
|Lecture Notes in Computer Science
|01 Jan 2016
|Publication process dates
|31 Aug 2016
|01 Jul 2014
|Digital Object Identifier (DOI)
|Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
|9506, pp. 103 - 151
|Accepted author manuscript
0views this month
3downloads this month