Jonathan Bowen

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.

Literatur

• 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.
• Hierons, R., Bowen, J.P., Harman, M. (Hrsg.): Formal Methods and Testing. Springer-Verlag, LNCS, Volume 4949, 2008. ISBN 978-3-540-78916-1.
• Börger, E., Butler, M., Bowen, J.P., Boca, P. (Hrsg.): Abstract State Machines, B and Z. Springer-Verlag, LNCS, Volume 5238, 2008. ISBN 978-3-540-87602-1.
• Boca, P.P., Bowen, J.P., Siddiqi, J.I. (Hrsg.): Formal Methods: State of the Art and New Directions. Springer, 2010. ISBN 978-1-84882-735-6, e-ISBN 978-1-84882-736-3, doi:10.1007/978-1-84882-736-3.
• Bowen, J.P., Keene, S., Ng, K. (Hrsg.): Electronic Visualisation in Arts and Culture. Springer Series on Cultural Computing, Springer, 2013. ISBN 978-1-4471-5406-8.
• Copeland, J., Bowen, J.P., Sprevak, M., Wilson, R. et al., The Turing Guide. Oxford University Press, 2017. ISBN 978-0198747826 (gebundene Ausgabe), ISBN 978-0198747833 (Taschenbuch).
• Hinchey, M.G., Bowen, J.P., Olderog, E.-R. (Hrsg.): Provably Correct Systems. Springer International Publishing, NASA Monographs in Systems and Software Engineering series, 2017. ISBN 978-3-319-48627-7, doi:10.1007/978-3-319-48628-4.
• Giannini, T. and Bowen, J.P. (Hrsg.): Museums and Digital Culture: New Perspectives and Research. Springer Series on Cultural Computing, Springer, 2019. ISBN 978-3-319-97456-9, e-ISBN 978-3-319-97457-6, doi:10.1007/978-3-319-97457-6.
• Giannini, T. and Bowen, J.P. (Hrsg.): The Arts and Computational Culture: Real and Virtual Worlds. Springer Series on Cultural Computing, Springer, 2024. ISBN 978-3-031-53864-3, e-ISBN 978-3-031-53865-0, doi:10.1007/978-3-031-53865-0.

Weblinks

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

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