COURSE LECTURERS: Malcolm Newey and Chris Johnson

What's New?

• June 2: Exam Stuff: Look on the documents page for past exams and CWJ sample questions.
• May 30: FM Review: Malcolm will give a review session on Thursday, June 2.
• May 19: SRS Drafts Available: Sufficient inspectable documents were handed in yesterday for the 6 teams (of four) to use them for Assignment 3.
  Please see Assignment 3 stuff on the Documents page.
• April 30: Tutorials Recommence: After a long string of missing Mondays, the next 3 weeks each have a tutorial.
• April 21: Free Advice: You may find useful assignment information on Phorum.
• April 21: Assignment 1 Solution: This new document is to be found in the obvious place.
• April 4: The specification of the second assignment is on the course web pages. It's time to negotiate partnerships (perhaps new, perhaps not).
• Mar 16: Schedule change: The tutorials previously scheduled for weeks 7,9,10 have been moved to weeks 9, 10, 11. (See Phorum.)
• Feb 25: Venues: Both labs will be in N114 and both tutes in N109.
• Feb 24: Sign up for labs/tutes! The schedule for these is really fixed and available using STREAMS.
• Feb 24: Schedule final!
  The change of venue for the Monday class is complete. From now on it will be at 3pm.
  On next Monday (Feb 28) that lecture will be in CSIT N101 (at 3pm);
  in subsequent weeks it will be in the Engineering lecture theatre.
• Feb 24: Phorum talk group created.
  ... and there is a link to it in the navigation bar.
• Feb 19: These pages are new!
  The COMP4100 pages for 2005 will develop as required over the semester.
  If you are curious about what might be to come you can look at the pages for 2004.

What's Coming?

Course Structure

Lectures (not necessarily in this order) about:

• Notations for formal specifications (MCN)
• Model checking (MCN)
• Infrastructure for verification (MCN)
• Quality (CWJ)
• Verification and Validation (CWJ)
• Inspections (CWJ)
• Testing (CWJ)
• Hazard Analysis (CWJ)

Assignments about:

• Mechanized verification
• Formal Specification
• Inspection Practice

Labs and Tutorials about:

• Mechanized verification
• System Specification in Z
• Inspections
• Hazard Analysis

[ANU ] [FEIT ] [DCS] [COMP4100] [Documents ] [Assessment ] [Tutorials ] [Lectures ] [Phorum]

Feedback & Queries: comp4100@iwaki.anu.edu.au

Date Last Modified: 30th May, 2005
Universal Resource Locator: http://cs.anu.edu.au/student/comp4100/index.html