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.
© Springer International Publishing Switzerland 2016.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.
|Book title||Engineering Trustworthy Software Systems|
|Series||Lecture Notes in Computer Science|
|01 Jan 2016|
|Publication process dates|
|Deposited||31 Aug 2016|
|Accepted||01 Jul 2014|
|Digital Object Identifier (DOI)||https://doi.org/10.1007/978-3-319-29628-9_3|
|Journal||Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|
|Journal citation||9506, pp. 103 - 151|
|Accepted author manuscript|
1views this month
14downloads this month