The Australian National
      University
College of Engineering and Computer Science
Research School of Computer Science
Printer Friendly Version of this
    Document
Formal Methods for Software Engineering - COMP2600

COMP2600: Formal Methods for Software Engineering

The 2009 Archive

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.

  3. Exam (60%)
    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.

Final Mark (100%):

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 Exam*(100/60)+10.

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.