Pamela Zave (nacida en 1948, [1] ) es una científica informática estadounidense que ahora trabaja en la Universidad de Princeton . Es conocida por su trabajo en ingeniería de requisitos , servicios de telecomunicaciones y modelado y verificación de protocolos , y ahora trabaja en arquitectura de red. [2] Fue nombrada miembro de la Association for Computing Machinery en 2002 y recibió en 2017 el premio Harlan D. Mills de la IEEE Computer Society .
Zave se graduó de la Universidad de Cornell con una licenciatura en inglés en 1970. Obtuvo su doctorado en ciencias de la computación en la Universidad de Wisconsin-Madison en 1976, bajo el nombre de Pamela Zave Smith; su tesis, "Equivalencia funcional de procesos paralelos", fue supervisada por Donald R. Fitzwater. [3] Enseñó en la Universidad de Maryland, College Park de 1975 a 1981, y luego se unió a Bell Labs (que entonces era parte de AT&T). Permaneció en la parte de AT&T de los laboratorios a través de las dos divisiones corporativas que formaron Bellcore en 1984 y Lucent en 1996, y continuó trabajando en AT&T Labs Research.hasta 2017. Desde entonces, ha sido investigadora asociada en la Universidad de Princeton .[2]
En 2017, Zave recibió el premio Harlan D. Mills de la IEEE Computer Society "por el uso innovador de métodos formales en el desarrollo de software de telecomunicaciones y por sus contribuciones duraderas a la teoría de la ingeniería de software".[4]
En 2002, Zave fue nombrado miembro de la Association for Computing Machinery "por fomentar el uso de métodos formales en el desarrollo de software de telecomunicaciones a través de investigaciones influyentes, desarrollo de herramientas, estudios de casos de gran tamaño y educación profesional". [5] También fue seleccionada como miembro de AT&T en 2009. [6]
En colaboración con Michael A. Jackson , Zave creó el conjunto de definiciones y obligaciones de razonamiento que se conocen como el modelo estándar para la ingeniería de requisitos. El modelo se explica con más detalle en el documento "Cuatro rincones oscuros de la ingeniería de requisitos". [7] Los artículos anteriores sobre este trabajo ganaron el premio al artículo más influyente de diez años de tres conferencias: 11º Simposio internacional de ingeniería de requisitos (2003), [2] 27ª Conferencia internacional sobre ingeniería de software (2005), [8] y 18ª Conferencia IEEE. en Ingeniería de Requisitos (2010). [9]
Composición de características distribuidas (DFC) es una arquitectura modular para servicios de telecomunicaciones, diseñada para proporcionar una composición de características estructurada y una fácil gestión de las interacciones de características. DFC fue inventado por Zave y Michael Jackson a partir de 1997. [10]