30 May - Friday
Session 4
4:00 PM

  Research Papers   Keynotes & Invited Talks
  Experience Reports   Panels
  Education & Training Reports   Research Demonstrations
  Awards & General Remarks   Meetings


Deriving Specifications from Requirements: An Example
Michael Jackson (The Open University, UK)
Pamela Zave (AT&T Labs Research, USA)
Talk: Where Can You Go When You're Through the Turnstile?
20 May @ 4:00 PM

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

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.