Pamela Zave's Research Home Page

After many happy years at Bell Laboratories Research and AT&T Laboratories Research, I am now a research associate in the Department of Computer Science at Princeton University.

Permanent Contact Information:

pamela AT pamelazave DOT com

pamelazave AT gmail DOT com

+1 973 635 0571

Professional Biography

Research Interests (Papers and Talks Included)

NEW! "Patterns and Interactions in Network Security"

ALMOST NEW! "The Compositional Architecture of the Internet"

Hear what Vint Cerf has to say about this paper (2:00-3:30 in the movie).


Software Modeling and Verification

Telecommunication Services

Publications (Selected)

Now available: Software Requirements and Design: The Work of Michael Jackson.

This book spans the career of one of software engineering's most important figures. Half the chapters are an anthology of Jackson's past writings, exemplifying the clarity, wisdom, and wit for which he is so well known. The other half of the book is new: Jackson and his colleagues give their latest views on requirements, specifications, design, problem frames, and programming methods. Although many people have observed that software engineering should be more of an engineering discipline, few have drawn from the wider engineering literature more deeply or usefully than Jackson. Because of his work, many software engineers have a better perspective on their software and the real world it is intended to serve. Click here to order.

Personal Information

Last updated August 2020.