Памела Заве - Pamela Zave

Памела Заве (1948 ж.т.,[1]) американдық информатик қазір жұмыс істейді Принстон университеті. Ол өзінің жұмысымен танымал инженерлік талаптар, телекоммуникация қызметтері, және протоколды модельдеу және тексеру, және қазір желілік архитектурада жұмыс істейді.[2] Оған а Стипендиат туралы Есептеу техникасы қауымдастығы 2002 ж. және 2017 жылғы алушы болды Миллан сыйлығы бастап IEEE Computer Society.

Білім және мансап

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

Марапаттар мен марапаттар

2017 жылы Заве алды Миллан сыйлығы бастап IEEE Computer Society «телекоммуникациялық бағдарламалық жасақтаманы әзірлеуде формальды әдістерді жаңашыл қолданғаны үшін және бағдарламалық қамтамасыз етудің теориясына тұрақты үлес қосқаны үшін».[4]

2002 жылы Заве а Стипендиат туралы Есептеу техникасы қауымдастығы «ықпалды зерттеулер, құралдарды жасау, үлкен жағдайлық зерттеулер және кәсіби білім беру арқылы телекоммуникациялық бағдарламалық жасақтаманы құруда ресми әдістерді қолдануға шақыру үшін». [5] Ол 2009 жылы AT&T стипендиаты ретінде таңдалды.[6]

Қажеттіліктерді жобалау бойынша зерттеулер

Ынтымақтастықта Майкл Джексон, Zave анықтамалар жиынтығын құрды және олар инженерлік талаптардың стандартты моделі ретінде белгілі болды. Модель «Инженерлік талаптардың төрт қара бұрышы» мақаласында толық түсіндірілген.[7] Бұған дейінгі жұмыстар үш конференциядан онжылдықтағы ең ықпалды қағаз сыйлығын жеңіп алды: 11-халықаралық талаптарға арналған инженерлік симпозиум (2003),[2] Бағдарламалық жасақтама бойынша 27-ші халықаралық конференция (2005),[8] және 18-ші IEEE талаптарына арналған инженерлік конференция (2010).[9]

Телекоммуникациялық қызметтер бойынша зерттеулер

Таратылған сипаттамалық композиция (DFC) - құрылымдық сипаттамалық композицияны және функциялардың өзара әрекеттесуін жеңіл басқаруды қамтамасыз етуге арналған телекоммуникация қызметтерінің модульдік сәулеті. DFC 1997 жылдан бастап Заве мен Майкл Джексон ойлап тапқан.[10]

2004 жылы жалпыға қол жетімді болатын және бүкіл әлем бойынша шамамен 100000 клиентке қызмет көрсеткен AT&T-дің IP-де дауыстық алғашқы қызметі CallVantage (SM) үшін функцияларды құру үшін DFC қолдану қолданылды. [11][12]CallVantage-ден кейін DFC-ді AT&T іштей қолданатын телеконференциялар жүйесін құру қолданылды, ол біраз уақыт жұмыс күндері миллиондаған пайдаланушыларға қолдау көрсетті.[2] DFC сонымен қатар SIP Servlet контейнерлеріне арналған Java Community Process стандартына енгізілген.[13]

Zave телекоммуникация саласында 30 патентке ие.[14]Оның телекоммуникациялық зерттеулерге арналған мақалалары үш үздік қағаз марапаттарына ие болды:IEEE бағдарламалық жасақтамасы 1989 ж. «Мультипарадигмалық бағдарламалауға композициялық тәсіл» дои:10.1109/52.35586, Телекоммуникация және бағдарламалық қамтамасыз ету жүйелеріндегі өзара әрекеттесу жөніндегі 7-ші халықаралық семинар (2003),[15]IP телекоммуникацияларының принциптері, жүйелері және қолданылуы жөніндегі 3-ші Халықаралық конференция (2009 ж.).[2]

Хаттаманы модельдеу және тексеру бойынша зерттеулер

Cave протоколындағы қателерді табу бойынша Завенің жұмысы[16]және өзгертілген нұсқаның дұрыстығын дәлелдеу[17]Amazon Web Services инженерлері нақты үлестірілген жүйелерде формальды әдістерді қолдана бастағаны үшін сендірді.[18]

Жеке

2014 жылы Заве өзінің серіктесі, америкалық кубалық суретшіге үйленді Йоланда В. Фундора.[19]

Әдебиеттер тізімі

  1. ^ OCLC туған күні, алынған 2015-06-18.
  2. ^ а б c г. e Кәсіби өмірбаяны, шығарылды 2018-10-15.
  3. ^ Памела Заве кезінде Математика шежіресі жобасы
  4. ^ 2017 Harlan D. Mills сыйлығы, шығарылды 2018-10-15.
  5. ^ ACM Fellow Award Citation, алынған 2015-06-18.
  6. ^ AT&T технологиялық марапаттардың жеңімпаздарын жариялайды, AT&T, 17 наурыз, 2010, шығарылған 2015-06-18.
  7. ^ Памела Заве және Майкл Джексон, инженерлік талаптардың төрт бұрышы, Бағдарламалық жасақтама және әдістеме бойынша ACM транзакциялары 2(4), 1993.
  8. ^ Сэ, Дао (2009–2013), SIGSOFT хронологиясы: оның офицерлері, конференциялары, марапаттары және т.б., ACM.
  9. ^ Халықаралық талаптар Инженерлік конференциясының басты беті, алынған 2015-06-18.
  10. ^ Майкл Джексон және Памела Заве, таратылған құрамы: телекоммуникация қызметтерінің виртуалды архитектурасы, Бағдарламалық жасақтама бойынша IEEE транзакциялары 24(10), 1998.
  11. ^ AT&T CallVantage жаңа мүмкіндіктері, 16 желтоқсан 2004 ж., 2018-12-31 шығарылды.
  12. ^ AT & T's CallVantage: арзанға арналған тамаша телефон қызметі, 23 мамыр 2005 ж., 2018-12-31 шығарылды.
  13. ^ Java сипаттамасына сұраныс 359: SIP Servlet 2.0, шығарылды 2018-12-31.
  14. ^ IN / Zave үшін АҚШ патенттік жинағындағы іздеу нәтижелері, алынған 2019-01-02.
  15. ^ Эмиот, Д .; Логриппо, Л. (2004), «Функциялардың өзара әрекеттесуін зерттеу бағыттары» (PDF), Қонақ редакциясы, Компьютерлік желілер, 45 (5): 563–567, дои:10.1016 / j.comnet.2004.03.024.
  16. ^ Памела Заве, аккордты түсіну үшін жеңіл модельдеуді қолдану, ACM SIGCOMM компьютерлік коммуникацияға шолу 42(2), 2012.
  17. ^ Памела Заве, Идентификатор кеңістігі туралы пікір: Аккордты қалай дұрыс жасауға болады, Бағдарламалық жасақтама бойынша IEEE транзакциялары 43(12), 2017.
  18. ^ Крис Ньюком, Тим Рэт, Фан Чжан, Богдан Мунтеану, Марк Брукер және Майкл Дирдефф, Amazon Web Services формальды әдістерді қалай қолданады, ACM байланысы 58(4), 2015.
  19. ^ Сыртқы жұмыстар, шығарылды 2018-10-15.

Сыртқы сілтемелер