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 one week from the time a grading unit is handed back to you to ask for it to be marked again. Within the one week period submit your grading unit to the instructor after class and attach to it a document precisely describing your concerns. This will be returned to the TA who graded that unit. Once a TA has had a chance to review your concerns, they will inform you of the results. Once you have handed in the paper version, you may email the TA for a meeting as well. If you are still not satisfied, arrange for a joint meeting with the TA and the course instructor.

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