マイケル・アンソニー・ジャクソン(1936年2月16日生まれ)は、イギリスのコンピュータ科学者であり、ロンドン在住の独立系コンピューティングコンサルタントである。また、イギリスのオープン大学の客員研究教授でもある。 [ 1 ]
モンタギュー・M・ジャクソンとバーサ(グリーン)ジャクソンの間にバーミンガムで生まれたジャクソンは、イングランドのロンドン、ハロウにあるハロウ校で教育を受けた。そこでクリストファー・ストレイチーに教えられ、ストレイチーの指導の下で最初のプログラムを書いた。1954年から1958年まで、オックスフォード大学マートン・カレッジで古典(「グレート」として知られる)を学んだ。[ 2 ] 2年先輩の同級生はCAR・ホーアだった。彼らは論理学に興味を共有しており、論理学はオックスフォードのグレートの一部として研究されていた。
1961年に卒業後、ジャクソンはロンドンのマックスウェル・スタンプ・アソシエイツでコンピュータサイエンスの設計者兼コンサルタントとして働き始めました。そこで彼はアセンブラを使ってIBMとハネウェルのコンピュータ向けに最初のプログラムを設計、コーディング、テストしました。2000年に回想しているように、そこでジャクソンは自分の天職を見つけました。「私はコーディングの前に綿密なフローチャートを描くなど慎重な設計者であり、良心的なテスターでしたが、プログラム設計は難しく、結果に誤りが生じる可能性が高いことに気づきました…」[ 3 ]情報システム設計には構造化されたアプローチが必要でした。
1964 年、ジャクソンはロンドンの新しいコンサルティング会社John Hoskyns and Companyに入社し、1971 年に自身の会社 Michael Jackson Systems Limited を設立しました。1960 年代には、「より信頼性が高く体系的なプログラミング方法」の探求を始めていました。[ 3 ]彼は新興のモジュール型プログラミング運動に貢献し、1968 年のシンポジウムでLarry Constantine、George H. Mealyら数名と出会いました。 [ 3 ] 1970 年代には、Jackson Structured Programming (JSP) を開発しました。1980 年代には、John Cameron と共にJackson System Development (JSD)を開発しました。そして 1990 年代には、Problem Frames Approach を開発しました。
AT&T Labs Researchの非常勤研究員として、ジャクソンはパメラ・ザベと共同で、通信サービスの仕様と実装のための仮想アーキテクチャである「分散機能合成」[ 4 ]を作成しました。
ジャクソンは1997年にソフトウェア開発手法に関するスティーブンス賞を受賞し[ 5 ]、1998年には英国コンピュータ協会ラブレース・メダルを受賞した。2001年にはACM SIGSOFT優秀研究賞を受賞している[ 6 ]。
1961年、ジャクソンはジュディス・ウェンディ・ブラックバーンと結婚した。[ 2 ]彼らには4人の息子がおり、そのうちの1人であるダニエルもMITに所属するコンピュータ科学者である。[ 7 ]
ジャクソンは一連の手法を開発しました。それぞれの手法は前の手法よりも広い範囲をカバーし、前の手法で登場したものの十分に展開されていなかったアイデアに基づいています。彼の著書を順番に読むことで、彼の思考の進化をたどることができます。
ジャクソン構造化プログラミング(JSP)は、ジャクソンが開発した最初のソフトウェア開発手法です。これはプログラム設計手法であり、彼の著書『プログラム設計の原理』で説明されています。[ 8 ] JSPは個々のプログラムの設計を対象としていますが、システム設計は対象としていません。
ジャクソン・システム開発(JSD)は、ジャクソンが開発した2番目のソフトウェア開発手法です。[ 9 ] JSDは、個々のプログラムだけでなく、システム全体のためのシステム開発手法です。JSDは情報システムに最も適していますが、リアルタイム組み込みシステムの開発にも容易に拡張できます。JSDは、彼の著書『システム開発』で説明されています。
問題分析、または問題フレームアプローチは、ジャクソンが開発した 3 番目のソフトウェア開発手法です。これは、情報システムだけでなく、あらゆる種類のソフトウェアの開発の側面に関係しています。これは、彼の著書『ソフトウェア要件と仕様』で最初に概説され、彼の著書『問題フレーム』でより詳細に説明されました。問題フレームの応用と進歩に関する第 1 回国際ワークショップ[ 10 ]は、スコットランドのエジンバラで開催された ICSE'04 の一部として開催されました。
マイケル・ジャクソンの著書には以下のようなものがある。
彼のエッセイの多くは、彼の研究に関連する論文とともに、以下の書籍にまとめられている。