ハーラン・ミルズ

ハーラン・D・ミルズ（1919年5月14日～1996年1月8日）は、フロリダ工科大学のコンピュータサイエンス教授であり、フロリダ州ベロビーチのソフトウェアエンジニアリングテクノロジー社（その後Q-Labsに買収）の創設者です。ミルズのソフトウェアエンジニアリングへの貢献は、教育と産業の実践に深く永続的な影響を及ぼしました。 1952年にアイオワ州立大学で数学の博士号を取得して以来、ミルズは輝かしいキャリアを歩んできました。

IBM 研究員として、ミルズは工学とコンピュータサイエンスの既存のアイデアをソフトウェア開発に応用しました。これには、オートマトン理論、エドガー・ダイクストラ、ロバート・W・フロイドらの構造化プログラミング理論、マルコフ連鎖駆動型ソフトウェアテストなどが含まれます。彼のクリーンルームソフトウェア開発プロセスは、トップダウン設計と形式仕様を重視していました。ミルズは、6 冊の著書と技術雑誌の 50 本を超える査読付き論文で、そのアイデアを業界に提供しました。

ミルズは「スーパープログラマー」と呼ばれていましたが、この言葉はIBMにおける「チーフプログラマー」という概念へと発展しました。

• 博士号:アイオワ州立大学、1952年
• 客員教授（非常勤） 1975-1987
• 非常勤講師、1987-1995
• 1974～77年 NSFコンピュータサイエンス研究委員会ソフトウェア方法論委員長
• 1975年第1回全国ソフトウェア工学会議議長
• 1975年から1981年までIEEE Transactions on Software Engineeringの編集者
• 1977 年 IFIP 会議におけるソフトウェア担当米国代表
• IEEEコンピュータ協会理事（1980～83年）
• 1981年IEEE秋季コンプコン会長
• 1986年、米国空軍科学諮問委員会コンピュータサイエンス委員会委員長
• 1985年DPMA優秀情報科学賞受賞者
• 初期の NFL スケジューリング アルゴリズムの設計者 (http://trace.tennessee.edu/utk_harlan/407/)
• ACM SIGSOFT優秀研究賞受賞、 ^[1] 1999年。

ICSE 関連のコロキウム「ソフトウェア開発のための科学と工学」は、Harlan D. Mills 氏に敬意を表し、ソフトウェア エンジニアリングの理論と実践に対する彼の永続的な功績を称えるために開催されています。ICSE 関連のコロキウム「ソフトウェア開発のための科学と工学」は、Harlan D. Mills (1919-1996) 氏に敬意を表し、ソフトウェア エンジニアリングの理論と実践に対する彼の永続的な功績を称えるために開催されています。第 1 回「Harlan Mills Practical Visionary Prize」賞は 1996 年に授与されました。この賞は、情報科学の理論と実践の両方に長期にわたる意義深い貢献を示した個人に贈られます。

アイオワ州リバティ センター生まれ。若い頃、ミルズはグラント ウッドに師事して美術を学んだ。第二次世界大戦中、ミルズはアメリカ陸軍航空隊の爆撃機パイロットになった。彼の飛行技術と教育技術は優れていたため、陸軍は彼を飛行任務に就かせるのではなく、他のパイロットの訓練に任命した。

ミルズは、アイオワ州立大学、プリンストン大学、ニューヨーク大学、ジョンズ ホプキンス大学、メリーランド大学、フロリダ大学、フロリダ工科大学(FIT)で教鞭をとりました。ジョンズ ホプキンス大学とメリーランド大学では、構造化プログラミングに関するアメリカ初の大学コースの 1 つを立ち上げました。メリーランド大学では、共著者のバシリ、ギャノン、ハムレットとともに、2 学期にわたる 1 年生向けの新しいコンピュータ サイエンス入門コースと教科書「コンピュータ プログラミングの原理: 数学的アプローチ」を開発しました。FIT では、同僚のエングルとニューマンとともに、Ada を基礎言語として使用したソフトウェア エンジニアリングの 1 年生と 2 年生向けの新しいカリキュラムを開発しました。

ミルズ氏は、 IBM フェローであり、IBM のコーポレート技術委員会のメンバー、GE および RCA の技術スタッフ メンバー、Mathematica およびソフトウェア エンジニアリング テクノロジーの社長を務めました。GE では、数百人の GE 役員が参加した 3 か月間の経営科学カリキュラムを開発しました。IBM では、IBM ソフトウェア エンジニアリング インスティテュートの主任設計者であり、数千人の IBM ソフトウェア担当者がソフトウェアの数学的基礎についてトレーニングを受けました。後に、クリーンルーム ソフトウェア エンジニアリング プロセスでソフトウェアの数学的および統計的原理を具体化しました。ソフトウェア エンジニアリング テクノロジーの創設者として、クリーンルーム技術移転のための企業を設立しました。

ミルズは連邦政府のプログラムを通じて健全なソフトウェア エンジニアリングの実践を促進することに一貫して関心を寄せていました。1980 年代の DoD DARPA STARS プログラムの形成期に、ミルズは高品質で生産性の高いソフトウェアの開発に関する基本概念を提供しました。1986 年には、米国空軍科学諮問委員会のコンピュータ サイエンス パネルの議長を務めました。1974 年から 1977 年にかけては、NSF のソフトウェア方法論に関するコンピュータ サイエンス研究パネルの議長を務めました。

ミルズ氏は、多くの専門会議のプログラム委員会メンバーおよび招待講演者であり、数学およびコンピュータ サイエンスの多くのジャーナルの審査員でもありました。1980 年から 1983 年にかけて、IEEE コンピュータ ソサエティの理事を務めました。1981 年には、IEEE Fall CompCon の議長を務めました。1975 年から 1981 年にかけて、IEEE Transactions on Software Engineering の編集者を務めました。1977 年には、IFIP 会議でソフトウェアの米国代表を務めました。1975 年には、First National Conference on Software Engineering の議長を務めました。

IEEEコンピュータ協会はミルズを称えるためにハーラン・D・ミルズ賞を創設し、1999年に「ソフトウェア工学を中心とした情報科学の理論と実践への貢献」に対して最初の賞を授与した。^{[2] [3]}受賞者のリストはIEEEのウェブサイトに掲載されている。^[2]

• リンガーとウィット（1979）は、構造化プログラミング：理論と実践で、プログラム検証に対するミルズの関数理論的アプローチを紹介している。
• ソフトウェア生産性（1983）には、チーフプログラマーチーム、トップダウン設計、構造化プログラミング、プログラムの正確性、その他のソフトウェアエンジニアリングの基本的なアイデアに関する彼の独創的な論文集が含まれています。
• リンガーとヘヴナー（1986）の「情報システム分析と設計の原理」には、ミルズによる仕様と設計の数学の実践への還元が含まれている。

• IP: ハーラン・ミルズが今週亡くなりました - 詳細を記載したメーリングリストのメッセージ
• Harlan D. Mills DBLP 書誌サーバーの出版物リスト