For projects you may work as an individual or in teams of at most two students.

Deadlines are strict: by noon on the day stated in the drop box. Assignment and Project Deadlines are very strict (use a York medical certificate if you are seriously ill).

The weight distribution of the course components is as follows:

• 10% - Assignment 1 (Analysis of the problem domain, Jackson problem context diagrams and UML diagrams). Handed out Sep 17. Due: Sep. 25th. Grades handed out Oct 11.
• 10% - Assignment 2 (User Manual as Requirements). Handed out Sep. 19, due: Oct. 11.
• 15% - Assignment 3 (Mission & Safety Critical specifications via Spin and temporal logic requirements). Handed out October 30th. Due Monday Novermber 12th by noon.
• 25% - Test Nov. 15th.
  • Lecture Notes up to and including the material on Spin
  • All the required readings ((note that you will not be asked any questions on the B-method).
  • You will be tested on the material treated by Assignments 1, 2 and 3.
• 5% - Assignment 5 (Parnas Table specifications)
• 15% - Project 1 (Continuation of User manual as a requirement document from assignment 1, and implementation of the requirements). Handed out: Oct 12. Due date: Monday November 26th by noon. You will need to demo your work to the instructor during the last week of term.
• 20% - Project 2 (Requirements elicitation & analysis and documentation). This project will commence towards the end of October. Handed out October 30th. Due: Monday December 10th, noon.

You can view your marks here.

Conversion from numeric to letter grade is applied to the overall mark only and in accordance with the following departmental standard:

• Common Grading Scheme for Undergradate Faculties