COMP2600: Formal Methods for Software Engineering - 2013

Course Outline

• The standard course outline is given in the ANU Handbook.

Assessment Scheme

Components:

1. Assignments (36%)
   There will be four assignments of equal weight. See the Assignments page for further details.

2. Tutorial Participation (4%)
   It is expected that students actively take part in tutorials. This 4% component of the course mark is easily earned - one only needs to participate by attempting the starred questions.

3. Mid-semester Quiz (10%)
   The quiz is 1 hour, and will take place

   On	September 24, 2013
   At	16:50
   In	Melville Hall

   The exam room opens at 16:40, writing will commence at 17:00 and the exam will finish at 18:00. You may bring in one A4 sheet of paper with hand-written notes on both sides.
   This component is redeemable. That means that If your performance on the final exam is better than that on the quiz, the percentage from the final will be used for the quiz.
   There will be no second sitting for the mid-semester quiz. If a student is sick or is out-of-town then the quiz mark will be derived from the from the final exam.

4. Exam (50%)
   The exam is 3 hours, conducted at the end of semester. You may bring in one A4 sheet of paper with hand-written notes on both sides. Note: the maximum mark in the exam is 60 marks.

In COMP2600, your final mark may not necessarily be the sum of the above components. Because the assignment mark is not a reliable indicator of achievement in the unit, the final (course) mark will be capped at the percentage ExamMark*(100/60)+10. That is, your final mark is capped at 10 percentage points above your exam mark.

For example, a student may have good assignments, but he or she will need 40% on the final exam to pass. For example, a student may have excellent assignments, but a credit level performance in the exam will mean that a high distinction becomes impossible.

Final marks are moderated by the Department of Computer Science examiners meeting.