Author: Pamela Zave
Pamela Zave received an A.B. degree in English from Cornell University, Ithaca, New York, and a Ph.D. degree in computer sciences from the University of Wisconsin--Madison. She began her career as an Assistant Professor of Computer Science at the University of Maryland, College Park.
Dr. Zave has been with AT&T Research since 1981, and is now a Lead Member of Technical Staff in the Information and Software Systems Research Laboratory. She is interested in all aspects of formal methods for software engineering as applied to networks. Currently she works with a group of other researchers building and analyzing SIP-based voice-over-IP and multimedia services using the Distributed Feature Composition architecture, invented by her and Michael A. Jackson. This group built and deployed the advanced telecommunication features of AT&T CallVantage(SM) voice-over-IP service.
Dr. Zave was named a Fellow of the Association for Computing Machinery in 2002. She was cited "for encouraging the use of formal methods in the development of telecommunication software through influential research, tool development, large case studies, and professional education." Her contributions to AT&T have been recognized with an AT&T Strategic Patent Award (2004) and an AT&T Science and Technology Medal (2006), and in 2009 she was named an AT&T Fellow. She holds 14 patents in the telecommunication area.
Her other research interests include requirements engineering and multiparadigm specification. She has been honored for her contributions to the foundations of requirements engineering with a Ten-Year Most Influential Paper Award from the International Conference on Software Engineering (2005), a Ten-Year Most Influential Paper Award from the International Requirements Engineering Symposium (2003), and a Ten-Year Most Influential Paper Award from the International Conference on Requirements Engineering (2010).
Dr. Zave has around 100 technical publications, of which three have won Best Paper awards. She has given numerous talks all over the world, including invited lectures at 30 conferences.
Dr. Zave is currently chair of IFIP Working Group 2.3 (Programming Methodology). She is a member of the steering committee of the International Symposia on Formal Methods, and has been an associate or guest editor of several journals. She has served on the committees of many conferences, including chairing the program committee of the Second IEEE International Symposium on Requirements Engineering, and co-chairing the program committees of Formal Methods Europe 2001 and the First Alloy Workshop. She has also held the elective offices of vice-chair and secretary-treasurer in ACM's Special Interest Group on Software Engineering.
Bond, Gregory W., Cheung, Eric, Purdy, K. Hal, Zave, Pamela, Ramming, J. Christopher (2004): An open architecture for next-generation telecommunication services. In ACM Trans. Internet Techn., 4 (1) pp. 83-123. https://dl.acm.org/doi/10.1145/967030.967034
Bowen, Jonathan P., Butler, Ricky W., Dill, David L., Glass, Robert L., Gries, David, Hall, Anthony, Hinchey, Michael G., Holloway, C. Michael, Jackson, Daniel, Jones, Cliff B., Lutz, Michael J., Parnas, David Lorge, Rushby, John M., Wing, Jeannette M., Zave, Pamela (1996): An Invitation to Formal Methods. In IEEE Computer, 29 (4) pp. 16-30.
Zave, Pamela (1993): Feature Interactions and Formal Specifications in Telecommunications. In IEEE Computer, 26 (8) pp. 20-30.
Zave, Pamela (1984): The Operational versus the Conventional Approach to Software Development. In Communications of the ACM, 27 (2) pp. 104-118.
Zave, Pamela (2001): Requirements for Evolving Systems: A Telecommunications Perspective. In: 5th IEEE International Symposium on Requirements Engineering RE 2001 27-31 August, 2001, Toronto, Canada. pp. 2-9. https://csdl.computer.org/comp/proceedings/re/2001/1125/00/11250002abs.htm
Zave, Pamela (1995): Classification of research efforts in requirements engineering. In: Second IEEE International Symposium on Requirements Engineering 1995 March 27 - 29, 1995, York, England. pp. 214-216. https://csdl.computer.org/comp/proceedings/re/1995/7017/00/70170214abs.htm
Zave, Pamela, Jackson, Michael (1997): Requirements for Telecommunications Services: An Attack on Complexity. In: 3rd IEEE International Symposium on Requirements Engineering RE97 January 5-8, 1997, Annapolis, MD, USA. pp. 106-117. https://csdl.computer.org/comp/proceedings/re/1997/7740/00/77400106abs.htm
Gunter, Carl A., Gunter, Elsa L., Jackson, Michael, Zave, Pamela (2000): A Reference Model for Requirements and Specifications-Extended Abstract. In: ICRE 2000 , 2000, . pp. 189. https://csdl.computer.org/comp/proceedings/icre/2000/0565/00/05650189abs.htm