乔纳森·鲍文

英国计算机科学家

乔纳森·P·鲍文 FBCS FRSA(Jonathan P. Bowen 1956年)是一位英国计算机科学家。他是Museophile有限公司的主席和伦敦南岸大学的荣誉教授,在那里他领导应用形式方法中心。[1]他是伯明翰城市大学计算机科学教授,[2]威斯敏斯特大学普林特研究所(纽约市)客座教授,伦敦国王学院[3]和伦敦大学学院访问学者[4]

乔纳森·鲍文

生平

编辑

出生于牛津,是亨福里·鲍文英语Humphry Bowen的儿子[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]

注释

编辑
  1. ^ Centre for Applied Formal Methods. 伦敦南岸大学. Archive.org. [1 December 2012]. (原始内容存档于2008-01-12). 
  2. ^ Jonathan Bowen. 伯明翰城市大学. Archive.org. 2015 [2 September 2016]. (原始内容存档于2015年11月6日). 
  3. ^ CREST members. King's College London. Archive.org. [1 December 2012]. (原始内容存档于2007-10-22). 
  4. ^ Jonathan Bowen home page. University College London. Archive.org. [1 December 2012]. (原始内容存档于2007-08-21). 
  5. ^ 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. 
  6. ^ Robinson, Andrew. The Turing Guide: Last words on an enigmatic codebreaker?. 4 January 2017 [2018-03-03]. (原始内容存档于2018-05-03).  |journal=被忽略 (帮助)

参考文献

编辑

外部链接

编辑