Provably Correct Systems: Community, connections, and citations

Conference item

Bowen, J. (2014). Provably Correct Systems: Community, connections, and citations. Ernst-Ruediger Olderog Festschrift. Oldenburg, Germany Sep 2014 London South Bank University.
AuthorsBowen, J.
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. One of the leaders on the ProCoS projects was Ernst-R\"udiger Olderog. This paper charts the influence of the ProCoS projects and the subsequent ProCoS-WG Working Group, using Prof. Dr Olderog as an example. The community of researchers surrounding an initiative such as ProCoS is considered in the context of the social science concept of a Community of Practice (CoP) and the collaborations undertaken through coauthorship of and citations to publications. Consideration of citation metrics is also included.

Year2014
PublisherLondon South Bank University
File
File Access Level
Open
Publication dates
Print01 Sep 2014
Publication process dates
Deposited20 Dec 2016
Permalink -

https://openresearch.lsbu.ac.uk/item/877w1

Download files

File
1509.02908v2.pdf
File access level: Open

  • 90
    total views
  • 199
    total downloads
  • 1
    views this month
  • 2
    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.
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
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.