Lecture 7: Requirements Engineering