CSE584: Software Engineering Lecture 6 (November 10, 1998) David Notkin Dept. of Computer Science & Engineering University of Washington