Loading article…
パメラ・ザベ（1948年生まれ[1]）は、現在プリンストン大学に勤務するアメリカのコンピュータ科学者です。彼女は要件工学、電気通信サービス、プロトコルモデリングと検証に関する研究で知られ、現在はネットワークアーキテクチャに取り組んでいます。 [2]彼女は2001年に計算機学会フェローに任命され、2017年にはIEEEコンピュータソサエティからハーラン・D・ミルズ賞を受賞しました。
教育とキャリア
ザヴは1970年にコーネル大学を卒業し、英語学の学士号を取得した。 1976年にウィスコンシン大学マディソン校でパメラ・ザヴ・スミスの名でコンピュータサイエンスの博士号を取得した。彼女の論文「並列プロセスの機能的等価性」はドナルド・R・フィッツウォーターの指導を受けた。[3]彼女は1975年から1981年までメリーランド大学カレッジパーク校で教鞭をとり、その後ベル研究所（当時はAT&Tの一部門）に加わった。彼女は1984年のベルコアと1996年のルーセントの2度の企業分割を通じてAT&T研究所に留まり、2017年までAT&T研究所で働き続けた。それ以来、彼女はプリンストン大学の研究員を務めている。[2]
受賞と栄誉
2017年、ザヴは「通信ソフトウェアの開発における形式手法の画期的な使用とソフトウェア工学理論への永続的な貢献」により、IEEEコンピュータ協会からハーラン・D・ミルズ賞を受賞した。 [4]
2001年、ザベは「影響力のある研究、ツール開発、大規模なケーススタディ、専門教育を通じて、通信ソフトウェアの開発における形式手法の使用を奨励した」として、計算機協会のフェローに任命されました。 [5]また、2009年にはAT&Tフェローにも選ばれました。[6]
要件工学に関する研究
マイケル・A・ジャクソンと共同で、ザベは要件工学の標準モデルとして知られるようになった定義と推論義務のセットを作成しました。このモデルは、「要件工学の4つの暗い隅」という論文で最も詳しく説明されています。[7]この研究に関する以前の論文は、3つの会議で10年間で最も影響力のある論文賞を受賞しました。第11回国際要件工学シンポジウム（2003年）、[2]第27回国際ソフトウェア工学会議（2005年）、[8]第18回IEEE要件工学会議（2010年）です。[9]
通信サービスに関する研究
分散機能構成（DFC）は、構造化された機能構成と機能の相互作用の容易な管理を提供するために設計された、通信サービス用のモジュールアーキテクチャです。DFCは、1997年にZaveとMichael Jacksonによって発明されました。[10]
DFCの実装は、AT&Tの最初のVoIPサービスであるCallVantage (SM)の機能を構築するために使用されました。このサービスは2004年に一般公開され、世界中で約10万人の顧客にサービスを提供しました。[11] [12] CallVantageの後、DFCの実装はAT&Tが社内で使用していたテレビ会議システムの構築に使用され、しばらくの間、1日の稼働時間数百万分のユーザーをサポートしていました。[2] DFCは、SIPサーブレットコンテナのJava Community Process標準にも組み込まれています。[13]
Zave は通信分野で 30 件の特許を保有しています。[14]通信研究に関する彼女の論文は、 1989 年のIEEE ソフトウェア最優秀論文賞 (「マルチパラダイム プログラミングへの構成的アプローチ」)、第 7 回国際通信およびソフトウェア システムの機能相互作用ワークショップ (2003 年)、[15]、第 3 回 IP 通信の原理、システム、アプリケーションに関する国際会議 (2009 年) の 3 回の最優秀論文賞を受賞しています。[2]
プロトコルモデリングと検証に関する研究
ZaveのChordプロトコル[16]のバグの発見 と修正版の正しさの証明[17]に関する研究は 、Amazon Web Servicesのエンジニアに、実際の分散システムで形式手法を使用するよう説得するきっかけを与えたと評価されている[18] 。
個人的
2014年、ザヴェはキューバ系アメリカ人アーティストのヨランダ・V・フンドラと結婚した。[19]彼女はキルト作家である。[20]
参照
参考文献
- ^ 生年月日はOCLCより、2015年6月18日閲覧。
- ^ abcde Professional Biography、2018年10月15日閲覧。
- ^ 数学系譜プロジェクトのパメラ・ザベ
- ^ 2017 Harlan D. Mills Award、2018年10月15日閲覧。
- ^ ACM Fellow Award Citation、2015年6月18日閲覧。
- ^ AT&T Announces Technology Award Winners、AT&T、2010 年 3 月 17 日、2015 年 6 月 18 日閲覧。
- ^ Pamela ZaveとMichael Jackson、「要件エンジニアリングの4つの暗い隅」、ACM Transactions on Software Engineering and Methodology 2(4)、1993年。
- ^ 謝涛（2009–2013）、SIGSOFT 年表：役員、カンファレンス、受賞歴など、ACM。
- ^ International Requirements Engineering Conference のホームページ、2015 年 6 月 18 日に取得。
- ^ Michael Jackson と Pamela Zave、「分散機能構成: 通信サービスのための仮想アーキテクチャ」、IEEE Transactions on Software Engineering 24 (10)、1998 年。doi :10.1109/32.729683
- ^ AT&T CallVantage の新機能、2004 年 12 月 16 日、2018 年 12 月 31 日に閲覧。
- ^ AT&T の CallVantage: 安価で優れた電話サービス、2005 年 5 月 23 日、2018 年 12 月 31 日閲覧。
- ^ Java仕様要求359: SIPサーブレット2.0、2018年12月31日取得。
- ^ IN/Zave の米国特許コレクション db での検索結果、2019 年 1 月 2 日に取得。
- ^ Amyot, D.; Logrippo, L. (2004)、「機能インタラクション研究の方向性」(PDF)、ゲスト編集、コンピュータネットワーク、45 (5): 563–567、doi :10.1016/j.comnet.2004.03.024。
- ^ Pamela Zave、「軽量モデリングを使用した Chord の理解」、ACM SIGCOMM Computer Communications Review 42(2)、2012 年。doi :10.1145/2185376.2185383
- ^ Pamela Zave、「識別子スペースについての推論：Chordを正しくする方法」、IEEE Transactions on Software Engineering 43(12)、2017年。doi :10.1109/TSE.2017.2655056
- ^ Chris Newcombe、Tim Rath、Fan Zhang、Bogdan Munteanu、Marc Brooker、Michael Deardeuff、「Amazon Web Services が形式手法を使用する方法」、Communications of the ACM 58(4)、2015 年。doi :10.1145/2699417
- ^ 仕事以外の興味、2018年10月15日閲覧。
- ^ 「アーティストについて」。Zaveartquilts 。2022年2月26日閲覧。
外部リンク
- 研究ホームページ