The Z notation: Whence the cause and whither the course?

Book chapter

Bowen, J. (2016). The Z notation: Whence the cause and whither the course? in: Engineering Trustworthy Software Systems Springer. pp. 103-151
AuthorsBowen, J.
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.

Page range103-151
Year2016
Book titleEngineering Trustworthy Software Systems
PublisherSpringer
File
SeriesLecture Notes in Computer Science
ISBN9783319296272
ISSN0302-9743
Publication dates
Print01 Jan 2016
Publication process dates
Deposited31 Aug 2016
Accepted01 Jul 2014
Digital Object Identifier (DOI)https://doi.org/10.1007/978-3-319-29628-9_3
JournalLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Journal citation9506, pp. 103 - 151
Accepted author manuscript
Permalink -

https://openresearch.lsbu.ac.uk/item/87551

Download files

File
setss2014.pdf

  • 252
    total views
  • 1395
    total downloads
  • 0
    views this month
  • 6
    downloads this month

Export as

Related outputs

Early virtual science museums: when the technology is not mature
Bowen, J., Borda, A., Gaia, G. and Boiano, S. (2023). Early virtual science museums: when the technology is not mature. Internet Histories. 8 (1-2), pp. 9-33. https://doi.org/10.1080/24701475.2023.2298155
Computing the Future: Digital encounters in art and science when da Vinci meets Turing
Giannini, T. and Bowen, J.P. (2020). Computing the Future: Digital encounters in art and science when da Vinci meets Turing. EVA London 2020. London 06 - 06 Jul 2020 BCS Learning & Development. https://doi.org/10.14236/ewic/eva2020.3
A Personal View of EVA London: Past, Present, Future
Bowen, J.P. (2020). A Personal View of EVA London: Past, Present, Future. EVA London 2020. London 06 - 06 Jul 2020 BCS Learning & Development. https://doi.org/10.14236/ewic/eva2020.2
Museum Websites of the First Wave: The rise of the virtual museum
Gaia, G., Boiano, S., Bowen, J.P. and Borda, A. (2020). Museum Websites of the First Wave: The rise of the virtual museum. EVA London 2020. London 06 - 06 Jul 2020 BCS Learning & Development. https://doi.org/10.14236/ewic/eva2020.4
Turing’s Sunflowers: Public research and the role of museums
Borda, A. and Bowen, J.P. (2020). Turing’s Sunflowers: Public research and the role of museums. EVA London 2020. London 06 - 06 Jul 2020 BCS Learning & Development. https://doi.org/10.14236/ewic/eva2020.5
Computational Culture and A.I.: Challenging human identity and curatorial practice
Bowen, J.P., Giannini, T., Polmeer, G., Falconer, R., Miller, A.I. and Dunn, S. (2020). Computational Culture and A.I.: Challenging human identity and curatorial practice. EVA London 2020. London 06 - 06 Jul 2020 BCS Learning & Development. https://doi.org/10.14236/ewic/eva2020.1
Digital Art, Culture and Heritage: New constructs and consciousness
Bowen, J., Giannini, T., Ara, R., Lomas, A. and Siefring, J. (2019). Digital Art, Culture and Heritage: New constructs and consciousness. Electronic Visualisation and the Arts (EVA 2019). London 08 - 11 Jul 2019 BCS. https://doi.org/10.14236/ewic/EVA2019.1
Art and Activism at Museums in a Post-digital World
Giannini, T. and Bowen, J. (2019). Art and Activism at Museums in a Post-digital World. Electronic Visualisation and the Arts (EVA 2019). London 08 - 11 Jul 2019 BCS. https://doi.org/10.14236/ewic/EVA2019.4
Preface (Engineering Trustworthy Software Systems)
Bowen, J., Liu, Z and Zhang, Z (2019). Preface (Engineering Trustworthy Software Systems). in: Engineering Trustworthy Software Systems Springer, Cham.
Digital Futures: Exhibits at EVA London 2018.
Papadimitriou, I and Bowen, J. (2018). Digital Futures: Exhibits at EVA London 2018. Bowen, Jonathan P, Weinel, Jonathan, Diprose, Graham and Lambert, Nick (ed.) Electronic Visualisation and the Arts (EVA) conference. London, UK 09 - 13 Jul 2018 BCS.
Of Museums and Digital Culture: A landscape view.
Giannini, T and Bowen, J. (2018). Of Museums and Digital Culture: A landscape view. Bowen, Jonathan P, Weinel, Jonathan, Diprose, Graham and Lambert, Nick (ed.) Electroni Visualisation and the Arts (EVA 2018). London, UK 09 - 13 Jul 2018 BCS.
Preface
Bowen, J., Liu, Z and Zhang, Z (2017). Preface. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 10215. https://doi.org/10.1007/978-3-319-56841-6
Alan Turing: Founder of computer science
Bowen, J. (2017). Alan Turing: Founder of computer science. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 10215, pp. 1-15. https://doi.org/10.1007/978-3-319-56841-6_1
Provably Correct Systems: Community, Connections, and Citations.
Bowen, J. (2017). Provably Correct Systems: Community, Connections, and Citations. in: Hinchey, MG, Bowen, JP and Olderog, E-R (ed.) Provably Correct Systems Springer. pp. 313-328
Engineering trustworthy software systems Preface
Bowen, J., Liu, Z and Zhang, Z. (2017). Engineering trustworthy software systems Preface. in: Engineering Trustworthy Software Systems Springer.
Life in Code and Digits: When Shannon met Turing
Bowen, J. and Giannini, T (2017). Life in Code and Digits: When Shannon met Turing. Bowen, JP, Diprose, G and Lambert, N (ed.) Electronic Visualisation and the Arts (EVA 2017). London, UK 11 - 13 Jul 2017 BCS.
Smart Cities and Cultural Heritage - A Review of Developments and Future Opportunities
Borda, A and Bowen, J. (2017). Smart Cities and Cultural Heritage - A Review of Developments and Future Opportunities. Bowen, JP, Diprose, G and Lambert, N (ed.) Electronic Visualisation and the Arts (EVA 2017). London, UK, 11 - 13 Jul 2017 BCS.
Curating Digital Life and Culture: Art and information.
Giannini, T and Bowen, J. (2016). Curating Digital Life and Culture: Art and information. Bowen, JP, Diprose, G and Lambert, N (ed.) Electronic Visualisation and the Arts (EVA 2016). London, UK 12 - 14 Jul 2016 BCS.
Component-based modelling for scalable smart city systems interoperability: A case study on integrating energy demand response systems
Palomar, E, Chen, X, Liu, Z, Maharjan, S and Bowen, J. (2016). Component-based modelling for scalable smart city systems interoperability: A case study on integrating energy demand response systems. Sensors. 16 (11), p. 1810. https://doi.org/10.3390/s16111810
Provably Correct Systems: Community, connections, and citations
Bowen, J. (2014). Provably Correct Systems: Community, connections, and citations. Ernst-Ruediger Olderog Festschrift. Oldenburg, Germany Sep 2014 London South Bank University.
Online Communities: Visualization and Formalization
Bowen, J. (2013). Online Communities: Visualization and Formalization. The Second International Workshop on Cyberpatterns: Unifying Design Patterns with Security, Attack and Forensic Patterns. Abingdon, Oxfordshire, UK 08 - 09 Jul 2013 London South Bank University.
Usability, Design and Content Issues of Mobile Apps for Cultural Heritage Promotion: The Malta Culture Guide Experience
Boiano, S, Bowen, J. and Gaia, G (2012). Usability, Design and Content Issues of Mobile Apps for Cultural Heritage Promotion: The Malta Culture Guide Experience. EVA London 2012 Conference. London 10 - 12 Jul 2012 London South Bank University. pp. 66-73
Can Small Museums Develop Compelling, Educational and Accessible Web Resources? The Case of Accademia Carrara
Filippini-Fantoni, S and Bowen, J. (2005). Can Small Museums Develop Compelling, Educational and Accessible Web Resources? The Case of Accademia Carrara. EVA 2005 London Conference. London 25 - 29 Jul 2005 London South Bank University.
Copyright and Promotion: Oxymoron or Opportunity?
Numerico, T and Bowen, J. (2005). Copyright and Promotion: Oxymoron or Opportunity? EVA 2005. London 27 - 29 Jul 2005 London South Bank University.
The Building of Online Communities: An approach for learning organizations, with a particular focus on the museum sector
Beler, A, Borda, A, Bowen, J. and Filippini-Fantoni, S (2004). The Building of Online Communities: An approach for learning organizations, with a particular focus on the museum sector. Electronic Visualisation and the Arts 2004. The Institute of Archaeology, University College London, UK 26 - 31 Jul 2004 London South Bank University.
Disabled Access for Museum Websites
Bowen, J. (2003). Disabled Access for Museum Websites. The Twelfth International World Wide Web Conference. Budapest, Hungary 20 - 24 May 2003 London South Bank University.
Web Access to Cultural Heritage for the Disabled
Bowen, J. (2003). Web Access to Cultural Heritage for the Disabled. Electronic Visualisation and the Arts (EVA) conference. London 22 - 26 Jul 2003 London South Bank University.