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.

Publication Statistics

Publication period start
Publication period end
Number of co-authors


Number of publications with favourite co-authors

Productive Colleagues

Most productive colleagues in number of publications


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.

Zave, Pamela, Jackson, Michael (1997): Telecommunications Service Requirements: Principles for Managing Complexity. In Requir. Eng., 2 (2) pp. 92-101. http://

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.

Jackson, Michael, Zave, Pamela (1993): Domain Descriptions. In RE, 0 (0) pp. 56-64.

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.

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.

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.

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.