乔纳森·鲍文
英国计算机科学家
乔纳森·P·鲍文 FBCS FRSA(Jonathan P. Bowen 1956年—)是一位英國計算機科學家。他是Museophile有限公司的主席和倫敦南岸大學的榮譽教授,在那裡他領導應用形式方法中心。[1]他是伯明翰城市大學計算機科學教授,[2]威斯敏斯特大學普林特研究所(紐約市)客座教授,倫敦國王學院[3]和倫敦大學學院訪問學者[4]
生平编辑
出生於牛津,是亨福里·鲍文的兒子[5],在布萊恩斯頓學校、龍學校接受教育,後來進入牛津大學大學學院,在那裡獲得工程科學碩士學位。
著作编辑
- Bowen, J.P., editor, Towards Verified Systems. Elsevier Science, Real-Time Safety Critical Systems series, volume 2, 1994. ISBN 0-444-89901-4.
- Hinchey, M.G. and Bowen, J.P., editors, Applications of Formal Methods. Prentice Hall International Series in Computer Science, 1995. ISBN 0-13-366949-1.
- Bowen, J.P., Formal Specification and Documentation using Z: A Case Study Approach. International Thomson Computer Press, International Thomson Publishing, 1996. ISBN 1-85032-230-9.
- Bowen, J.P. and Hinchey, M.G., editors, High-Integrity System Specification and Design. Springer-Verlag, London, FACIT series, 1999. ISBN 3-540-76226-4.
- Hinchey, M.G. and Bowen, J.P., editors, Industrial-Strength Formal Methods in Practice. Springer-Verlag, London, FACIT series, 1999. ISBN 1-85233-640-4.
- Hierons, R., Bowen, J.P., and Harman, M., editors, Formal Methods and Testing. Springer-Verlag, LNCS, Volume 4949, 2008. ISBN 978-3-540-78916-1.
- Börger, E., Butler, M., Bowen, J.P., and Boca, P., editors, Abstract State Machines, B and Z. Springer-Verlag, LNCS, Volume 5238, 2008. ISBN 978-3-540-87602-1.
- Boca, P.P., Bowen, J.P., and Siddiqi, J.I., editors, 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., and Ng, K., editors, 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, ISBN 978-0198747833.[6]
註釋编辑
- ^ Centre for Applied Formal Methods. 倫敦南岸大學. Archive.org. [1 December 2012]. (原始内容存档于2008-01-12).
- ^ Jonathan Bowen. 伯明翰城市大學. Archive.org. 2015 [2 September 2016]. (原始内容存档于2015年11月6日).
- ^ CREST members. King's College London. Archive.org. [1 December 2012]. (原始内容存档于2007-10-22).
- ^ Jonathan Bowen home page. University College London. Archive.org. [1 December 2012]. (原始内容存档于2007-08-21).
- ^ Symonds, Ann Spokes. Families: The Bowens. The Changing Faces of North Oxford: Book One. Robert Boyd Publications. 1997: 81–83. ISBN 1-899536-25-6.
- ^ Robinson, Andrew. The Turing Guide: Last words on an enigmatic codebreaker?. 4 January 2017 [2018-03-03]. (原始内容存档于2018-05-03).
|journal=
被忽略 (帮助)
參考文獻编辑
- Bowen, Jonathan Peter. Who's Who in the World, Marquis Who's Who, 18th edition, 2001.
- H-museum information(页面存档备份,存于互联网档案馆)
- Museums and the Web conference information(页面存档备份,存于互联网档案馆)
- Film on the Web conference information
- International Center for Scientific Research information(页面存档备份,存于互联网档案馆)
外部連結编辑
🔥 Top keywords: Baike: 首页Special:搜索毛泽东家族榮耀之繼承者天之驕女鐵拳英雄九龍城寨之圍城黃循財背着善宰跑篠崎泫妮妃雅新生 (网络剧)劉偉健斯洛伐克习近平劉俊謙 (香港)李显龙歌手2024佛誕淚之女王2024年泰國羽球公開賽新加坡總理邊佑錫新加坡Energy (組合)庆余年九龍寨城六四事件家族榮耀金智媛彌助菲律宾胖猫跳江事件劉寶傑DAY6林峯張文傑李光耀神耆小子張鳳妮黃世聰Seventeen (組合)维基百科願榮光歸香港中華民國鬼滅之刃 柱訓練篇2024年英雄联盟季中邀请赛中华人民共和国TripleS金秀賢 (男演員)罗伯特·菲佐井柏然2024年世界女排联赛黃偉哲怪獸8號佘詩曼Foodpanda金惠奫新加坡总统香緹·摩爾于北辰 (1968年)王嘉爾笑看風雲排球少年!!角色列表林飛帆郭葦昀馴鹿寶貝翁靜晶猩球崛起:王國誕生ILLIT尼古拉·約基奇春色寄情人周殷廷鬼滅之刃排球少年!!吳釗燮逆天奇案2不夠善良的我們BABYMONSTER李正皓尚达曼BOYNEXTDOOR胡子彤IVE (組合)陳靜 (香港)香港吴作栋黃道十二宮凡希亚·奥伊亚胡宇威長洲太平清醮張員瑛搜查班長1958伍允龍习明泽黄岩岛賴清德偶然遇見的你虽然不是英雄