Pamela Zave's Research Home Page

Contact Information:

AT&T Laboratories--Research
One AT&T Way, Room 4D148K
Bedminster, New Jersey 07921

pamela AT research DOT att DOT com

+1 908 901 2204

Professional Biography

Research Interests (Papers and Talks Included)

How to Make Chord Correct


Other 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 September 2017.