• Jan 4 - Winter Classes Start
• Feb. 13-19 - Reading Week
• March 8 - Last date to drop courses without receiving a grade
• April 5 - Winter Classes End
• April 7 - Winter Exams Start
• April 23 - Winter Exams End

The weight distribution of the course components is as follows:

• 10% - Assignment 1. Due: Wednesday Jan 27 at 1pm
• 15% - Labtest 1. Due: Thursday Feb 11, 11.30-1.30pm
• 10% - Assignment 2. Due: Wednesday March 3, 2pm
• 15% - Labtest 2. Due: Tuesday March 18, 11.30-1.30pm
• 50% - Final Exam: Wed, 7 Apr 2010 9:00 180 VH 2016

You may bring 3 sheets (US Letter size, written on both sides) of your own notes into the exam. Otherwise it is a closed book exam.

You may want to make the first two sheets the Event-B summary, with your own annotations. The third sheet may be any additional notes as required.

The Exam will be on all the material noted in the course outline. This includes material covered in the lectures, slides and required readings from the textbook, assignments and labtests.

There will be 3 questions on the exam.

The first question covers relations and functions. Knowledge of partial functions, total functions, injections, surjections, the override operator etc, is required.

The second question is similar to the RichPoor exercise in which your ability to use set theory and predicate logic (quantifiers) to formalize statements is tested.

The third question is similar to the Birthday Book example in which you must develop a model from a user requirements document, and refine it.

Important: Make sure to attend class on Thursday March 25th.

You can view your marks here.

• Common Grading Scheme for Undergradate Faculties

You have two weeks from the time grades are released on ePost to ask for your grading unit (Assignment or Labtest) to be marked again. Within the two week period submit your grading unit to the instructor and attach to it a document describing your precise concerns.

For each grading unit you are assigned a raw mark score that ranks you in the class. Also, you will be provided with a mapping from your raw mark score to a letter grade. The raw mark score is not a grade as it is merely used to rank you in the class (so, e.g. a raw mark score of 76 might be a C, not a B+, after the mapping is applied). The mapping will be supplied to you at the same time that your assignment is handed back to you. The final grade is computed from the raw mark scores and maps as shown here.

The meaning of the letter grades assigned by the mapping is givenhere.

Missing an Assignment or labtest will result in a score of zero – unless the official York attending physician's statement is filled out. With the official physician's statement, you will be awarded a letter grade for the missed component equal to the grade you obtain on the Exam