fuguja.com
知識ベース

ジョナサン・ボーエン

ジョナサンP.ボーエン FBCS FRSA（1956年生まれ）は、イギリスのコンピューター科学者です。

概要

ジョナサンボーエンは、Museophile Limitedの会長であり、ロンドンサウスバンク大学の名誉教授であり、そこでは応用フォーマルセンターを率いていました。彼は、バーミンガム市立大学のコンピューターサイエンスの教授、プラットインスティテュート（ニューヨーク市）、ウェストミンスター大学およびキングスカレッジロンドンの客員教授、ユニバーシティカレッジロンドンの客員教授です。

教育

ボーエンは、ハンフリーボーウェンの息子であるオックスフォードで生まれ、オックスフォード大学オックスフォード大学で入学する前に、工学科学の修士号を取得する前に、ブライアンストン学校のドラゴンスクールで教育を受けました。

キャリア

ボーエンは後にロンドンのインペリアルカレッジ、オックスフォード大学コンピューティング研究所（現在はオックスフォード大学コンピューターサイエンス学科）、レディング大学、ロンドンサウスバンク大学で働いていました。彼の初期の仕事は、一般的な形式的な方法、特に後にZ記法に関するものでした。 1990年代初頭から2011年まで、Zユーザーグループの議長を務めました。2002年、ボーエンは英国コンピュータ協会FACSスペシャリストコンピューティングサイエンスの正式な側面の議長に選出されました。 2005年以来、ボーウェンは、ジャーナルInnovations in Systems and Software Engineeringの副編集長を務めてきました。また、 ACM Computing Surveysジャーナルの編集委員会のアソシエイトエディターでもあり、ソフトウェアエンジニアリングと正式な方法を扱っています。 2008年から9年にかけて、Praxis High Integrity Systemsのアソシエイトとして、Z表記を使用した大規模な産業プロジェクトに取り組みました。

ボーエンの他の主要な関心は、オンライン博物館の分野です。 1994年に、彼はVirtual Museum Museums Pages（VLmp）を設立しました。これは、国際博物館評議会（ICOM）で間もなく採用されたオンライン博物館ディレクトリです。同じ年に、彼はコンピューティングの仮想博物館も始めました。 2002年に、Museophile Limitedを設立し、特にオンラインディスカッションフォーラムなどの博物館を支援しました。彼はまた、Oxford Instruments、Marconi Instruments、Logica、Silicon Graphics、Altran Praxisの業界で働いていました。

ボーエンは、2002年に芸術、製造および商業（RSA）、2004年に英国コンピューター協会（BCS）の奨励のために王立協会のフェローに選出されました。ロンドン。

厳選された本

  • ボーエン、JP、編集者、 Towards Verified Systems 。 Elsevier Science、Real-Time Safety Critical Systemsシリーズ、第2巻、1994年。ISBN0-444-89901-4。
  • MGのヒンチーとボーエン、JP、編集者、 フォーマルメソッドのアプリケーション 。 Prentice Hall International Series in Computer Science、1995。ISBN0-13-366949-1。
  • Bowen、JP、 正式な仕様書とZを使用したドキュメント：ケーススタディアプローチ International Thomson Computer Press、International Thomson Publishing、1996。ISBN1-85032-230-9。
  • ボウエン、JPおよびヒンチエ、MG、編集者、高信頼性システム仕様および設計 。 Springer-Verlag、ロンドン、FACITシリーズ、1999年。ISBN3-540-76226-4。
  • MGのヒンチーとボーエン、JP、編集者、 Industrial-Strength Formal Methods in Practice 。 Springer-Verlag、ロンドン、FACITシリーズ、1999年。ISBN1-85233-640-4。
  • Hierons、R.、Bowen、JP、およびHarman、M。、編集者、 Formal Methods and Testing Springer-Verlag、LNCS、第4949巻、2008年。ISBN978-3-540-78916-1。
  • B.、E.、Butler、M.、Bowen、JP、およびBoca、P。、編集者、 Abstract State Machines、BおよびZ。 Springer-Verlag、LNCS、Volume 5238、2008。ISBN 978-3-540-87602-1。
  • Boca、PP、Bowen、JP、およびSiddiqi、JI、編集者、 フォーマルメソッド：最先端技術と新しい方向性 。 Springer、2010。ISBN978-1-84882-735-6、e-ISBN 978-1-84882-736-3、doi：10.1007 / 978-1-84882-736-3。
  • Bowen、JP、Keene、S。、およびNg、K。、編集者、 Electronic Visualization in Arts and Culture 。スプリンガーシリーズカルチュラルコンピューティング、スプリンガー、2013年。ISBN978-1-4471-5406-8。
  • Copeland、J.、Bowen、JP、Sprevak、M.、Wilson、R.、et al。、 The Turing Guide 。オックスフォード大学出版局、2017年。ISBN978-0198747826（ハードカバー）、ISBN 978-0198747833（ペーパーバック）。
  • ヒンチー、MG、ボーエン、JP、オールデログ、E.-R。、編集者、 Provably Correct Systems 。 Springer International Publishing、NASA Monographs in Systems and Software Engineering series、2017。ISBN978-3-319-48627-7、doi：10.1007 / 978-3-319-48628-4。
  • ジャンニーニ、T。およびボーエン、JP、編集者、 博物館およびデジタル文化：新しい視点と研究 。 Springer Series on Cultural Computing、Springer、2019。ISBN978-3-319-97456-9、e-ISBN 978-3-319-97457-6、doi：10.1007 / 978-3-319-97457-6。

ノート

  1. ^ 「応用フォーマルメソッドの中心」。 2008年1月12日にオリジナルからアーカイブ。2012年12月1日に取得。
  2. ^ 「ジョナサンボーエン」。 バーミンガムシティ大学 。 2015. 2015年11月6日にオリジナルからアーカイブ。2016年9月2日に取得。CS1maint：BOT：original-url status unknown（リンク）
  3. ^ 「CRESTメンバー」。 2007年10月22日にオリジナルからアーカイブ。2012年12月1日検索。
  4. ^ 「ジョナサンボーエンホームページ」。 2007年8月21日にオリジナルからアーカイブ。2012年12月1日検索。
  5. ^ Symonds Symonds、アン。 「家族：ボウエン」。 北オックスフォードの変化する顔：Book One 。ロバート・ボイド出版。 pp。81–83。 ISBN 978-1-899536-25-2。
  6. ^ 「委員会および連絡先の詳細」。 BCS-FACS英国：BCS。 2012年12月1日取得。
  7. ^ 「編集委員会」。 システムとソフトウェアエンジニアリングの革新 。スプリンガー。 2013年8月6日にオリジナルからアーカイブ。2012年12月1日検索。
  8. ^ 「編集委員会」。 ACMコンピューティング調査 。計算機械協会。 2016年12月19日検索。
  9. ^ 「仮想図書館博物館のページ」。国際博物館評議会。 2012年12月12日にオリジナルからアーカイブ。2012年12月1日に取得。
  10. ^ 「Museophile Limited」。イギリス。 2012年12月1日取得。
  11. ^プラティ、ジョン（2003年9月26日）。 「ニュースフィードに関する情報」。 2004年4月4日にオリジナルからアーカイブ。2012年12月1日に取得。
  12. ^フェントン、ノーマン（1996年9月13日）。 「正しいことの重大な負担」。 タイムズ高等教育サプリメント 。
  13. ^ジョンソン、クリス（1996）。 「書評-Zを使用した正式な仕様とドキュメント：ケーススタディアプローチ」。 コンピュータジャーナル 。 39 （7）。 p。 643. doi：10.1093 / comjnl / 39.7.643-a。
  14. ^ロビンソン、アンドリュー（2017年1月4日）。 「チューリングガイド：謎めいたコードブレーカーの最後の言葉？」 新しい科学者 。
  15. ^ Koslow、ジェニファー（2019年9月4日）。 「書評-博物館とデジタル文化：新しい視点と研究」。 博物館管理とキュレーターシップ 。 34 （5）。 pp。537–539。 doi：10.1080 / 09647775.2019.1661098
カテゴリ: