Instructor: Rob Hasker

Final Exam

• Tuesday, Dec. 18, at 1:00 pm
• In regular classroom.
• Must take the exam to pass the class
• I will provide sheet of notation for Z specifications and Hoare logic rules: see final-cheat-sheet.pdf

Class Materials

• Syllabus

• Group Signup form

• Project Schedule & Other Materials

• Class notes

• SE Tools: timelog system

• Installing Rational Rose and related notes

• Suggested Exercises

• Sample items

• Looking up your score on-line.

Resources

• (My)SQL Syntax

Labs and Assignments

• Assignment 1: Time Logs
• Assignment 2: Z specification for room lights
• Assignment 3: DFDs and DD with timer
• Assignment 4: Insulin pump Z specification example
• Assignment 5: Further project requirements
• Assignment 6: Project participation report

Resources

• The Z Reference Manual (available from here)
• Ruby on Rails
  • Rails Documentation Links
  • Rails Documentation Project
  • Complete Ruby on Rails Manuals (archive)
  • Ruby on Rails Security Guide