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. Handed back Nov 8.
• 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.
  • All lecture Notes up to and including the material on requirements for safety critical systems using Spin 9up to and including series 10). Exceptions below:
    • You will not be asked any questions on the B-method which was additional material to help with the understanding of specifications via UML statecharts.
    • You will not be asked questions on Perl/CGI programming - this material was needed for understanding how to specify requirements for web based applications as in Project 2.
    • You will not be asked questions on Fit tables. This was to show how a requirememts document can be made testable.
  • All the required readings.
  • You will be tested on the material treated by Assignments 1, 2 and 3.
• 5% - Assignment 4 (Parnas Table specifications). To be handed out in the last week of term.
• 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