MOST INFLUENTIAL PAPER
- ICSE 17
Deriving Specifications from Requirements: An Example
Michael Jackson (The Open
Pamela Zave (AT&T Labs Research, USA)
Talk: Where Can You Go When You're Through the
20 May @ 4:00 PM
Louis Ballroom D & E [Floor
Session Chair: David Notkin
Michael Jackson has worked
since 1961 in software development and development methods. His most
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
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
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.