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
• 7.5% – Assign 1
• 7.5% – Assign 2
• 30% – Project (work in a team of between 2 and 3 students):
  • 10%: Project Phase 1: Requirements Document and Code
    • Phase 1(a) is 4%
    • Phase 1(b) is 6%
  • 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, or see them during office hours. The discussion will be limited to the issues raised in your written submission. 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, Labtest or Quiz will result in a score of zero – unless the official York attending physician's statement is filled out and submitted to the Instructor within 3 business days of the missed work. The attending physician's statement must assert that the illness and/or medication prescribed would have SERIOUSLY affected the student's ability to study and perform over the relevant time period including the day of the Test, Quiz, Labtest or Exam. You can leave the attending physician's statement at the departmental office or hand it to the Instructor during class. With the official physician's statement, you may be awarded a letter grade for the missed component equal to the grade you obtain on the Exam (see the Instructor for precise details).