Памела Заве

Памела Заве (1948 г.р.) ^{[ 1 ]}) — американский учёный-компьютерщик , сейчас работающий в Принстонском университете . Она известна своей работой в области разработки требований , телекоммуникационных услуг , моделирования и проверки протоколов , а сейчас работает над сетевой архитектурой. ^{[ 2 ]} В 2001 году она была названа членом Ассоциации вычислительной техники , а в 2017 году стала лауреатом премии Харлана Д. Миллса от Компьютерного общества IEEE .

Образование и карьера

Зейв окончила Корнеллский университет со степенью бакалавра английского языка в 1970 году. Она получила докторскую степень по информатике в Университете Висконсин-Мэдисон в 1976 году под именем Памела Зейв Смит; ее диссертацию «Функциональная эквивалентность параллельных процессов» контролировал Дональд Р. Фицуотер. ^{[ 3 ]} Она преподавала в Университете Мэриленда в Колледж-Парке с 1975 по 1981 год, а затем присоединилась к Bell Labs (которая тогда была частью AT&T). Она осталась в подразделении AT&T Labs после разделения двух корпораций, в результате которых образовались Bellcore в 1984 году и Lucent в 1996 году, и продолжала работать в AT&T Labs Research до 2017 года. С тех пор она работала научным сотрудником в Принстонском университете . ^{[ 2 ]}

Награды и почести

В 2017 году Зейв получил премию Харлана Д. Миллса от Компьютерного общества IEEE «за новаторское использование формальных методов при разработке телекоммуникационного программного обеспечения и за устойчивый вклад в теорию разработки программного обеспечения». ^{[ 4 ]}

В 2001 году Заве был назначен членом Ассоциации вычислительной техники «за поощрение использования формальных методов при разработке телекоммуникационного программного обеспечения посредством влиятельных исследований, разработки инструментов, крупных тематических исследований и профессионального образования». ^{[ 5 ]} В 2009 году она также была выбрана стипендиатом AT&T. ^{[ 6 ]}

Исследования в области проектирования требований

В сотрудничестве с Майклом А. Джексоном Зейв создал набор определений и обоснований обязательств, которые стали известны как стандартная модель проектирования требований. Модель наиболее полно объяснена в статье «Четыре темных угла разработки требований». ^{[ 7 ]} Более ранние статьи по этой работе получили награду за десятилетнюю самую влиятельную статью на трех конференциях: 11-м Международном симпозиуме по разработке требований (2003 г.), ^{[ 2 ]} 27-я Международная конференция по программной инженерии (2005 г.), ^{[ 8 ]} и 18-я конференция IEEE по разработке требований (2010 г.). ^{[ 9 ]}

Исследования телекоммуникационных услуг

Распределенная композиция функций (DFC) — это модульная архитектура для телекоммуникационных услуг, разработанная для обеспечения структурированной композиции функций и простого управления взаимодействием функций. DFC был изобретен Зэйвом и Майклом Джексоном в 1997 году. ^{[ 10 ]}

Реализация DFC использовалась для создания функций CallVantage (SM), первой услуги передачи голоса по IP от AT&T, которая стала общедоступной в 2004 году и обслуживала около 100 000 клиентов по всему миру. ^{[ 11 ]}^{[ 12 ]} После CallVantage реализация DFC использовалась для создания системы телеконференций, используемой внутри компании AT&T, которая в течение некоторого времени поддерживала миллионы пользовательских минут каждый рабочий день. ^{[ 2 ]} DFC также был включен в стандарт Java Community Process для контейнеров SIP-сервлетов. ^{[ 13 ]}

Заве принадлежит 30 патентов в области телекоммуникаций. ^{[ 14 ]} Ее статьи по телекоммуникационным исследованиям были удостоены трех наград Best Paper Awards: Лучшая статья IEEE Software 1989 года за «Композиционный подход к мультипарадигмальному программированию», 7-й международный семинар по взаимодействию функций в телекоммуникационных и программных системах (2003 г.), ^{[ 15 ]} 3-я Международная конференция по принципам, системам и применениям IP-телекоммуникаций (2009 г.). ^{[ 2 ]}

Исследования по моделированию и верификации протоколов

Работа Заве по поиску ошибок в протоколе Chord ^{[ 16 ]} и доказать правильность измененной версии ^{[ 17 ]} получил признание инженеров Amazon Web Services за то, что убедил их начать использовать формальные методы в реальных распределенных системах. ^{[ 18 ]}

Персональный

В 2014 году Заве вышла замуж за свою партнершу, американскую художницу кубинского происхождения Иоланду В. Фундору . ^{[ 19 ]} Она квилтерша . ^{[ 20 ]}

См. также

ПарусФин

Ссылки

↑ Дата рождения из OCLC , получено 18 июня 2015 г.
^ Jump up to: ^а ^б ^с ^д ^и Профессиональная биография , получено 15 октября 2018 г.
^ Памела Заве в проекте «Математическая генеалогия»
^ Премия Харлана Д. Миллса 2017 г. , получено 15 октября 2018 г.
↑ Цитата о награде ACM Fellow Award , получено 18 июня 2015 г.
^ AT&T объявляет победителей премии в области технологий , AT&T, 17 марта 2010 г., получено 18 июня 2015 г.
^ Памела Зейв и Майкл Джексон, Четыре темных угла разработки требований, Транзакции ACM по разработке программного обеспечения и методологии 2 (4), 1993.
^ Се, Тао (2009–2013 гг.), Хронология SIGSOFT: ее руководители, конференции, награды и многое другое , ACM .
^ Домашняя страница Международной конференции по разработке требований , получено 18 июня 2015 г.
^ Майкл Джексон и Памела Заве, Распределенная композиция функций: виртуальная архитектура для телекоммуникационных услуг, Транзакции IEEE по разработке программного обеспечения 24 (10), 1998. дои : 10.1109/32.729683
^ Новые функции AT&T CallVantage , 16 декабря 2004 г., получено 31 декабря 2018 г.
↑ AT&T’s CallVantage: Отличная телефонная связь по дешевке , 23 мая 2005 г., получено 31 декабря 2018 г.
^ Запрос спецификации Java 359: SIP сервлет 2.0 , получено 31 декабря 2018 г.
^ Результаты поиска в базе данных патентной коллекции США для IN/Zave , получены 02 января 2019 г.
^ Амиот, Д.; Логриппо, Л. (2004), «Направления исследования взаимодействия функций» (PDF) , гостевая редакция, Computer Networks , 45 (5): 563–567, doi : 10.1016/j.comnet.2004.03.024 .
^ Памела Заве, Использование облегченного моделирования для понимания Chord, Обзор компьютерных коммуникаций ACM SIGCOMM 42 (2), 2012. дои : 10.1145/2185376.2185383
^ Памела Заве, Рассуждения о пространствах идентификаторов: Как сделать Chord правильным, Транзакции IEEE по разработке программного обеспечения 43 (12), 2017. doi : 10.1109/TSE.2017.2655056
^ Крис Ньюкомб, Тим Рат, Фань Чжан, Богдан Мунтяну, Марк Брукер и Майкл Дирдеуфф, Как веб-службы Amazon используют формальные методы, Сообщения ACM 58 (4), 2015. дои : 10.1145/2699417
↑ Интересы вне работы , получено 15 октября 2018 г.
^ «О художнике» . Завеартлоскутные одеяла . Проверено 26 февраля 2022 г.

Внешние ссылки

Домашняя страница исследований

[1] Дата рождения из OCLC , получено 18 июня 2015 г.

[bio-2] Jump up to: ^а ^б ^с ^д ^и Профессиональная биография , получено 15 октября 2018 г.

[3] Памела Заве в проекте «Математическая генеалогия»

[4] Премия Харлана Д. Миллса 2017 г. , получено 15 октября 2018 г.

[5] Цитата о награде ACM Fellow Award , получено 18 июня 2015 г.

[6] AT&T объявляет победителей премии в области технологий , AT&T, 17 марта 2010 г., получено 18 июня 2015 г.

[7] Памела Зейв и Майкл Джексон, Четыре темных угла разработки требований, Транзакции ACM по разработке программного обеспечения и методологии 2 (4), 1993.

[sigsoft-8] Се, Тао (2009–2013 гг.), Хронология SIGSOFT: ее руководители, конференции, награды и многое другое , ACM .

[9] Домашняя страница Международной конференции по разработке требований , получено 18 июня 2015 г.

[10] Майкл Джексон и Памела Заве, Распределенная композиция функций: виртуальная архитектура для телекоммуникационных услуг, Транзакции IEEE по разработке программного обеспечения 24 (10), 1998. дои : 10.1109/32.729683

[11] Новые функции AT&T CallVantage , 16 декабря 2004 г., получено 31 декабря 2018 г.

[12] AT&T’s CallVantage: Отличная телефонная связь по дешевке , 23 мая 2005 г., получено 31 декабря 2018 г.

[13] Запрос спецификации Java 359: SIP сервлет 2.0 , получено 31 декабря 2018 г.

[14] Результаты поиска в базе данных патентной коллекции США для IN/Zave , получены 02 января 2019 г.

[15] Амиот, Д.; Логриппо, Л. (2004), «Направления исследования взаимодействия функций» (PDF) , гостевая редакция, Computer Networks , 45 (5): 563–567, doi : 10.1016/j.comnet.2004.03.024 .

[16] Памела Заве, Использование облегченного моделирования для понимания Chord, Обзор компьютерных коммуникаций ACM SIGCOMM 42 (2), 2012. дои : 10.1145/2185376.2185383

[17] Памела Заве, Рассуждения о пространствах идентификаторов: Как сделать Chord правильным, Транзакции IEEE по разработке программного обеспечения 43 (12), 2017. doi : 10.1109/TSE.2017.2655056

[18] Крис Ньюкомб, Тим Рат, Фань Чжан, Богдан Мунтяну, Марк Брукер и Майкл Дирдеуфф, Как веб-службы Amazon используют формальные методы, Сообщения ACM 58 (4), 2015. дои : 10.1145/2699417

[iow-19] Интересы вне работы , получено 15 октября 2018 г.

[20] «О художнике» . Завеартлоскутные одеяла . Проверено 26 февраля 2022 г.

[ 1 ]

[ 2 ]

[ 3 ]

[ 4 ]

[ 5 ]

[ 6 ]

[ 7 ]

[ 8 ]

[ 9 ]

[ 10 ]

[ 11 ]

[ 12 ]

[ 13 ]

[ 14 ]

[ 15 ]

[ 16 ]

[ 17 ]

[ 18 ]

[ 19 ]

[ 20 ]

Базы данных авторитетного контроля
Международный	ЯВЛЯЮТСЯ ВИАФ WorldCat
Национальный	Норвегия Франция Данные БнФ Израиль Соединенные Штаты Нидерланды
академики	Ассоциация вычислительной техники ЦиНии ДБЛП Google Академика 2 Проект математической генеалогии ОРЦИД zbMATH
Другой	ИдРеф