Instructor: Rob Hasker

Class Materials

• Syllabus

• Project Schedule & Other Materials
  • meeting signup

• Class notes

• SE Tools: timelog system

• Installing Rational Rose and related notes

• Suggested Exercises

• Sample items

• Looking up your score on-line.

Labs and Assignments

• Assignment 1: Z specification: toll booths
• Assignment 2: Z specification: elevator, reserving tickets
• Assignment 3: DFDs and DD

Resources

• The Z Reference Manual (available from here)
  • Z/Eves download and installation; install first the Python file (version 1.5.2) and then Z/Eves.