Jonathan Bowen

Jonathan Bowen (* 1956 in Oxford) ist ein britischer Informatiker.

Bowen studierte an der Bryanston School und der Oxford University Ingenieurwissenschaften. Er gründete die „Virtual Library Museums Pages“ auf der Website International Council of Museums.

• Jonathan Bowen (Hrsg.): Towards Verified Systems. (= Real-Time Safety Critical Systems series. Band 2). Elsevier, Amsterdam 1994, ISBN 0-444-89901-4.
• Michael Gerard Hinchey, Jonathan Bowen (Hrsg.): Applications of Formal Methods. Prentice Hall, London 1996, ISBN 0-13-366949-1.
• Jonathan Bowen: Formal Specification and Documentation using Z: A Case Study Approach. International Thomson Computer Press, London 1996, ISBN 1-85032-230-9.
• Jonathan Bowen, Michael Gerard Hinchey (Hrsg.): High-Integrity System Specification and Design. Springer, London 1999, ISBN 3-540-76226-4.
• Michael Gerard Hinchey, Jonathan Bowen (Hrsg.): Industrial-Strength Formal Methods in Practice. Springer, London 1999, ISBN 1-85233-640-4.
• R. Hierons, J. P. Bowen, M. Harman (Hrsg.): Formal Methods and Testing. (= Lecture notes in computer science. 4949). Springer-Verlag, 2008, ISBN 978-3-540-78916-1.
• E. Börger, M. Butler, J. P. Bowen, P. Boca (Hrsg.): Abstract State Machines, B and Z. (= Lecture notes in computer science. 5238). Springer-Verlag, 2008, ISBN 978-3-540-87602-1.
• P. P. Boca, J. P. Bowen, J. I. Siddiqi (Hrsg.): Formal Methods: State of the Art and New Directions. Springer, 2010, ISBN 978-1-84882-735-6. doi:10.1007/978-1-84882-736-3.
• J. P. Bowen, S. Keene, K. Ng (Hrsg.): Electronic Visualisation in Arts and Culture. (= Springer Series on Cultural Computing). Springer, 2013, ISBN 978-1-4471-5406-8.
• J. Copeland, J. P. Bowen, M. Sprevak, R. Wilson et al.: The Turing Guide. Oxford University Press, 2017, ISBN 978-0-19-874783-3.^[1]
• M. G. Hinchey, J. P. Bowen, E.-R. Olderog (Hrsg.): Provably Correct Systems. (= NASA Monographs in Systems and Software Engineering series). Springer International Publishing, 2017, ISBN 978-3-319-48627-7, doi:10.1007/978-3-319-48628-4.
• T. Giannini, J. P. Bowen (Hrsg.): Museums and Digital Culture: New Perspectives and Research. (= Springer Series on Cultural Computing). Springer, 2019, ISBN 978-3-319-97456-9. doi:10.1007/978-3-319-97457-6.^[2]
• T. Giannini, J. P. Bowen (Hrsg.): The Arts and Computational Culture: Real and Virtual Worlds. (= Springer Series on Cultural Computing). Springer, 2024, ISBN 978-3-031-53864-3. doi:10.1007/978-3-031-53865-0^[3]

1. ↑ W. Andrew Robinson: The Turing Guide: Last words on an enigmatic codebreaker? In: New Scientist. 4. Januar 2017, abgerufen am 16. Mai 2025 (englisch). 
2. ↑ Jennifer Koslow: Book Review – Museums and digital culture: new perspectives and research. In: Museum Management and Curatorship. Band 34, Nr. 5, 4. September 2019, S. 537–539, doi:10.1080/09647775.2019.1661098 (englisch). 
3. ↑ The Arts and Computational Culture, 2024. DBLP, 2024, abgerufen am 16. Mai 2025 (englisch). 

Commons: Jonathan Bowen – Sammlung von Bildern, Videos und Audiodateien

• Literatur von und über Jonathan Bowen im Katalog der Deutschen Nationalbibliothek
• Website von Bowen (englisch)