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

The Lecturer

  • Dr. Ben Lippmeier
  • Dr. Clem Baker-Finch

The Tutors

  • Clem Baker-Finch
  • Aditi Barthwal
  • Jack Kelly
  • Ben Lippmeier
  • Chris Monteith

The Final Results

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