CSE584: Software Engineering Lecture 6 (November 10, 1998) David Notkin Dept. of Computer Science & Engineering University of Washington www.cs.washington.edu/education/courses/584/CurrentQtr/…