St. Louis Ballroom D & E [Floor Plan]
Session Chair: David Notkin

Biography:
Michael Jackson has worked since 1961 in software development and development methods. His most recent work has focused on the analysis and structure of software development problems and solutions, and is described in his books Software Requirements & Specifications (Addison-Wesley 1995) and Problem Frames (Addison-Wesley 2001).

He is the Visiting Research Professor in the Department of Computing at the Open University, and Visiting Professor in the School of Computing Science at the University of Newcastle.

Pamela Zave received the A.B. degree in English from Cornell University, Ithaca, New York, and the 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. Since 1981 she has been with AT&T Research, and is now a Technology Advisor in the Software Systems Research Laboratory.

Dr. Zave is a Fellow of the ACM. She has 80 publications, of which four have won "Best Paper" or "Most Influential Paper" awards. She also holds seven patents in the telecommunication area. She has given numerous talks all over the world, including invited lectures at 25 conferences.

Dr. Zave is an associate editor of ACM Transactions on Software Engineering and Methodology, and a member of IFIP Working Group 2.3 (Programming Methodology). She has served on the program committees of many conferences, including chairing the program committee of the Second IEEE International Symposium on Requirements Engineering, and co-chairing the program committee of Formal Methods Europe 2001.