Instructor: Rob Hasker

Final Exam

• Tuesday, Dec. 20, at 1:00 pm
• In regular classroom.
• Must be present to pass the class
• I will provide sheet of notation for Z specifications: see final-cheat-sheet.pdf
• You may bring one page of notes, single-sided; can be typed or hand-written

Class Materials

• Syllabus

• Group Signup form

• Project Schedule and Requirements for deliverables

• Class notes

• Installing Rational Rose and related notes

• Suggested Exercises

• Looking up your score on-line.

Labs and Assignments

• RCX Labs (Sept. 13, 2005)
• Using Subversion (Sept. 13, 2005)
• Assignment 1: Time Logs
• Assignment 2: Extending Z examples
• Assignment 3: More Z
• Assignment 4: Requirements and tests
• Assignment 5: Project participation report