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 2007 Archive

The Lecturer

  • Dr. Malcolm Newey
  • Dr. Jeremy Dawson

The Tutors

  • James Barker
  • Aditi Barthwal
  • Jeremy Dawson
  • Chris Monteith
  • Malcolm Newey

The Final Results

118 students enrolled; 110 completed; 88 passed.
The average of marks for completing students was 60.0 %.
The following histogram gives the number of students in each marks decile.
It shows, for example, that 15 students were in the HD range (80-100, inclusive).