Significant dates Fall 2014

• Sep. 8: classes start
• Oct 29-Nov 2: Co-curricular days
• Nov 7: Drop date
• Dec 7: Last day to submit term work
• Dec 7: Classes end
• Dec 9: Exams start
• Dec 22: Exams end
• Jan 5: Winter term starts

TENTATIVE

The weight distribution of the course components is as follows:

• 15% – five 10 minute quizzes (first 6 weeks). Topic: using PVS as a specification language
• 5% – Assign 1 (Alarm System)
• 10% – Assign 2 (eHealth system for medication interactions)
• 30% – Project (work in a team of between 2 and 3 students):
  • 10%: Project Phase 1: Requirements Document and Code
  • 20%: Project Phase 2: Revised Requirements Document and Code
• Exam: 40%

You can view your marks here.

You have two weeks from the time grades are released on ePost to ask for your grading unit (Project or Assignment) 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. This will be returned to our TA, Simon Hudon. Once he has had a chance to review your concerns, he will inform you of the results. Once you have handed in the paper version you may email him for a meeting as well.

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 an Assignment will result in a score of zero – unless the official York attending physician's statement is filled out and submitted by the due date of the assignment. 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