Preface (Engineering Trustworthy Software Systems)

Book chapter

Bowen, J., Liu, Z and Zhang, Z (2019). Preface (Engineering Trustworthy Software Systems). in: Engineering Trustworthy Software Systems Springer, Cham.
AuthorsBowen, J., Liu, Z and Zhang, Z
Abstract

The 4th School on Engineering Trustworthy Software Systems (SETSS 2018) was held during April 7–12, 2018, at Southwest University, Chongqing, China. It was aimed at PhD and Master students in particular, from around China and elsewhere, as well as being suitable for university researchers and industry software engineers. This volume contains tutorial papers related to a selection of the lecture courses and evening seminars delivered at the school.

Year2019
Book titleEngineering Trustworthy Software Systems
PublisherSpringer, Cham
Edition1
SeriesProgramming and Software Engineering
ISBN9783030176006
Publication dates
Print11 Jun 2019
Publication process dates
Deposited31 May 2019
Accepted01 Jan 2019
Journal citation11430 (11430), pp. v-xii
Accepted author manuscript
License
File Access Level
Open
Permalink -

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

Download files

  • 129
    total views
  • 36
    total downloads
  • 2
    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
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
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.