Pamela Zave

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.

Publications

Publication period start: 1993
Number of co-authors: 21

Co-authors

Number of publications with favourite co-authors
Carl A. Gunter
1
Elsa L. Gunter
1
Michael Jackson
4

Productive Colleagues

Most productive colleagues in number of publications
David Lorge Parnas
29
David Gries
31
Robert L. Glass
48

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. https://dl.acm.org/doi/10.1145/967030.967034

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

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. 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

New to UX Design? We're Giving You a Free eBook!

The Basics of User Experience Design

Download our free ebook “The Basics of User Experience Design” to learn about core concepts of UX design.

In 9 chapters, we’ll cover: conducting user interviews, design thinking, interaction design, mobile UX design, usability, UX research, and many more!

A valid email address is required.
314,809 designers enjoy our newsletter—sure you don’t want to receive it?

New to UX Design? We're Giving You a Free eBook!

The Basics of User Experience Design

Download our free ebook “The Basics of User Experience Design” to learn about core concepts of UX design.

In 9 chapters, we’ll cover: conducting user interviews, design thinking, interaction design, mobile UX design, usability, UX research, and many more!

A valid email address is required.
314,809 designers enjoy our newsletter—sure you don’t want to receive it?