https://wiki-de.moshellshocker.dns64.de/index.php?action=history&feed=atom&title=Jonathan_BowenJonathan Bowen - Versionsgeschichte2026-06-04T22:53:49ZVersionsgeschichte dieser Seite in Wikipedia (Deutsch) – Lokale KopieMediaWiki 1.43.8https://wiki-de.moshellshocker.dns64.de/index.php?title=Jonathan_Bowen&diff=974357&oldid=previmported>Onkelkoeln: Rhfg., typos2026-03-18T08:12:47Z<p>Rhfg., typos</p>
<p><b>Neue Seite</b></p><div>[[Datei:Jonathan Bowen photograph.jpg|mini|hochkant|Jonathan Bowen (2006)]]<br />
<br />
'''Jonathan Bowen''' (* [[14. März]] [[1956]] in [[Oxford]]) ist ein britischer [[Informatiker]].<br />
<br />
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]].<br />
<br />
== Literatur ==<br />
* Jonathan Bowen (Hrsg.): ''Towards Verified Systems''. (= ''Real-Time Safety Critical Systems series.'' Band 2). Elsevier, Amsterdam 1994, ISBN 0-444-89901-4.<br />
* Michael Gerard Hinchey, Jonathan Bowen (Hrsg.): ''Applications of Formal Methods''. Prentice Hall, London 1996, ISBN 0-13-366949-1.<br />
* Jonathan Bowen: ''Formal Specification and Documentation using Z: A Case Study Approach''. International Thomson Computer Press, London 1996, ISBN 1-85032-230-9.<br />
* Jonathan Bowen, Michael Gerard Hinchey (Hrsg.): ''High-Integrity System Specification and Design''. Springer, London 1999, ISBN 3-540-76226-4.<br />
* Michael Gerard Hinchey, Jonathan Bowen (Hrsg.): ''Industrial-Strength Formal Methods in Practice''. Springer, London 1999, ISBN 1-85233-640-4.<br />
* 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.<br />
* [[Egon Börger|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.<br />
* 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]].<br />
* 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.<br />
* [[Jack Copeland|J. Copeland]], J. P. Bowen, M. Sprevak, R. Wilson et al.: ''[[The Turing Guide]]''. [[Oxford University Press]], 2017, ISBN 978-0-19-874783-3.<ref>{{Internetquelle |autor=[[:en:W. Andrew Robinson|W. Andrew Robinson]] |url=https://www.newscientist.com/article/mg23331072-700-the-turing-guide-last-words-on-an-enigmatic-codebreaker/ |titel=The Turing Guide: Last words on an enigmatic codebreaker? |werk=[[New Scientist]] |datum=2017-01-04 |sprache=en |abruf=2025-05-16}}</ref><br />
* 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]].<br />
* 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]].<ref>{{Literatur |Autor=Jennifer Koslow |Titel=Book Review – Museums and digital culture: new perspectives and research |Sammelwerk=Museum Management and Curatorship |Band=34 |Nummer=5 |Datum=2019-09-04 |Seiten=537–539 |Sprache=en |DOI=10.1080/09647775.2019.1661098}}</ref><br />
* 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]]<ref>{{Internetquelle |url=https://dblp.org/db/books/collections/GB2024.html |titel=The Arts and Computational Culture, 2024 |hrsg=[[DBLP]] |datum=2024 |sprache=en |abruf=2025-05-16}}</ref><br />
<br />
== Weblinks ==<br />
{{Commonscat}}<br />
* {{DNB-Portal|122239318}}<br />
* [http://www.jpbowen.com/ Website von Bowen] (englisch)<br />
<br />
== Einzelnachweise ==<br />
<references /><br />
<br />
{{Normdaten|TYP=p|GND=122239318|LCCN=n93027547|VIAF=15646992}}<br />
<br />
{{SORTIERUNG:Bowen, Jonathan}}<br />
[[Kategorie:Informatiker]]<br />
[[Kategorie:Autor]]<br />
[[Kategorie:Brite]]<br />
[[Kategorie:Geboren 1956]]<br />
[[Kategorie:Mann]]<br />
<br />
{{Personendaten<br />
|NAME=Bowen, Jonathan<br />
|ALTERNATIVNAMEN=Bowen, Jonathan P.<br />
|KURZBESCHREIBUNG=britischer Informatiker, Erfinder der Virtual Library museums pages<br />
|GEBURTSDATUM=14. März 1956<br />
|GEBURTSORT=[[Oxford]]<br />
|STERBEDATUM=<br />
|STERBEORT=<br />
}}</div>imported>Onkelkoeln