• Tuesday January 3, 2012 - Winter Classes Start
• February 18-24 - Reading Week
• March 9 - Last date to drop courses without receiving a grade
• April 2 - Winter Classes End
• April 4-20 - Winter Exams

There will be a sequence of exercises that you must complete on your own in order to prepare for the Labtests and Exam.

The weight distribution of the course components is as follows:

• 15% - Labtest 1 (Feb 28, 11.30-1.30pm in SEL)
• 15% - Labtest 2 (Tuesday March 27 11.30am in SEL)
• 20% - Project. Due: April 2, 2012 (noon, strict deadline)
• 50% - Final Exam Wed, 4 Apr 2012 9:00 180 CB 120

For the project you must do the birthday book Exercise 13. You must submit your Rodin development (all POs discharged) as well as a written report with a requirements document (including atomic R/E-descriptions).

1. Write out the atomic R and E-descriptions (e.g. as we have seen for the Bridge and FTP examples).
2. The Event-B model with all the refinement steps is the mathematical model.
3. Descibe where the atomic R/E descriptions (#1) are specified in the Event-B mathematical model (e.g. as axioms, theorems, invariants, events etc.).
4. The final Event-B refinement should be to the point where you can use the merging rules to obtain code for the remind routine. We will discuss the add_birthday routine in class. Show the final code for remind using the merging rules.
5. Deliverables. (a) your complete Event-B model with all POs discharged submitted as a zip file (birthdaybook.zip). (b) (A written report birthdaybook.pdf that contains (i) the E/R descriptions, (ii) printed version of the Event-B model (use Latex to generate this) and (iii) the final code and how you used the merging rules to obtain the code.

Electronic submision: submit -l 3341 project birthdaybook.zip birthdaybook.pdf

Written submision: Print out your report (birthdaybook.pdf) and place it in the course dropbox.

Project Due: April 2, 2012 (noon, strict deadline)

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. The first two sheets are the Event-B notation summary which you may annotate. The third sheet may be any additional notes as required.

The Exam will be on all the material noted in the course outline, material covered in the lectures, slides and required readings from the textbook, exercises, assignments and labtests. The exam is 3 hours. A sample 2 hour exam is available on the SVN; our exam is unlikely to include questions from the samples.

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 (Project 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.

You must complete and hand in the project to obtain a grade for the course.

Missing a 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