COMP2600: Formal Methods for Software Engineering
The 2009 Archive
Assessment Scheme
Components:
Assignments (36%)
There will be four assignments of equal weight. See the Assignments
page for further details.
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.
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.