Provably Correct Systems: Community, Connections, and Citations.

Book chapter

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
AuthorsBowen, J.
EditorsHinchey, MG, Bowen, JP and Olderog, E-R
Abstract

Abstract The original European ESPRIT ProCoS I and II projects on Provably Correct Systems took place around a quarter of a century ago. Since then, the legacy of the initiative has spawned many researchers with careers in formal methods, forming
a community of researchers with a common interest in this area. This paper uses one of the leaders on the ProCoS initiative, Ernst-Rudiger Olderog, as an example in demonstrating connections within and around the ProCoS research community. This is formalized using the Z notation to make the description more precise, especially with respect to collaborations undertaken through coauthorship of publications and subsequent citations to this research output. Matching visualizations of the relationships are included. The social science concept of a Community of Practice (CoP) is
introduced in this context. Finally, consideration of citation metrics is also included.

Page range313-328
Year2017
Book titleProvably Correct Systems
PublisherSpringer
SeriesNASA Monographs in Systems and Software Engineering
ISBN978-3-319-48627-7
Publication dates
Print01 Mar 2017
Publication process dates
Deposited21 May 2018
Accepted01 Jan 2017
Web address (URL)https://doi.org/10.1007/978-3-319-48628-4
Accepted author manuscript
License
Permalink -

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

Restricted files

Accepted author manuscript

  • 112
    total views
  • 0
    total downloads
  • 1
    views this month
  • 0
    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
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.
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
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.