ppt = Microsoft Powerpoint 97 doc = Microsoft Word 97 ps = Postscript pdf = Acrobat PDF pdf2 = Acrobat PDF - 2 slides per page ps4 = Postscript - 4 slides per page pdf4 = Acrobat PDF - 4 slides per page
| Course Description | Syllabus, rationale, objectives, ideas, topics, references | dcs | html |
| exam extracts | sample questions- part B, Process Oriented Techniques | cwj | html |
| Past papers | The 2002 exam | ps | |
| The 2003 exam | ps | ||
| The 2004 exam | ps |
| Lab 1, week 2 | The HOL System - Introduction | MCN | ps | |
| - | Melham's Slides on Using ML | TFM | ps4 | pdf4 |
| Lab 2, week 3 | Tactics and Backward Reasoning | MCN | ps |
| Assignment 1 | HOL Exercises | MCN | ps | |
| - | Arithmetic Theories in HOL | MCN | ps | |
| - | Conversions - a totally optional topic | MCN | ps4 | pdf4 |
| - | Assignment Solution | MCN | ps |
| Tute 1, week 4 | The Z Tutorial | MCN | ps |
| Assignment 2 | Specification in Z | MCN | ps | |
| - | Z Documents using LaTeX | MCN | ps |
| Tute 2, week 9 | Concurrency: Petri nets and Temporal logic | MCN | ps |
| Assignment 3 | SRS Inspections | MCN | ps | |
| - | Assignment 3 Groups | MCN | ps |
| FM-1 (21/2) | Overview of Formal Methods | MCN | ps4 | pdf4 |
| FM-1' | HOL System Introduction | MCN | ps4 | pdf4 |
| FM-2 (24/2) | HOL (the Logic) Syntax | MCN | ps4 | pdf4 |
| FM-3 (25/2) | HOL Mechanization - Syntax Functions | MCN | ps4 | pdf4 |
| FM-4 (28/3) | HOL System - Forward Reasoning | MCN | ps4 | pdf4 |
| FM-5 (3/3) | HOL System - Goal Directed Proof | MCN | ps4 | pdf4 |
| FM-6 (4/3) | HOL System - Tactics and Tacticals | MCN | ps4 | pdf4 |
| FM-7 (7/3) | Revision of Elementary Z | MCN | ps4 | pdf4 |
| FM-8 (10/3) | (Relatively) Advanced Z | MCN | ps4 | pdf4 |
| FM-9 (11/3) | (Relatively) Advanced Z (ctd.) | MCN | ditto | ditto |
| FM-10 (14/3) | Last Z Lecture - EVACS Case Study | MCN | ps4 | pdf4 |
| FM-11 (17/3) | What didn't you learn about HOL? Theories! | MCN | ps4 | pdf4 |
| FM-12 (18/3) | Petri Nets | MCN | ps4 | pdf4 |
| (21/3) | Canberra Day - no lecture | - | - | - |
| FM-12 (24/3) | Linear Temporal Logic | MCN | ps4 | pdf4 |
| (25/3) | Good Friday - no lecture | - | - | - |
| (28/3) | Easter Monday - no lecture | - | - | - |
| FM-14 (31/3) | Branching Time Temporal Logic | MCN | ps4 | pdf4 | FM-15 (1/4) | Model Checking | MCN | ps4 | pdf4 |
| (4/4) | no lecture | - | - | - |
| (7/4) | no lecture | - | - | - |
| (8/4) | no lecture | - | - | - |
| 11/4 - 22/4 | Mid-semester Lecture Break | - | - | - |
| 25/4 - 29/4 | no lectures week 8 | - | - | - |
| SQMP-1 (2/5) | SQM process: introduction | CWJ | ps6 | pdf1 |
| SQMP-2 (5/5) | V and V intro | CWJ | ps6 | pdf1 |
| SQMP-3 (6/5) | Inspection 1 | CWJ | ps6 | pdf1 |
| SQMP-4 (9/5) | Testing 1 Intro | CWJ | ps6 | pdf1 |
| SQMP-5 (12/5) | Testing 2 | CWJ | ps6 | pdf1 |
| SQMP-6 (13/5) | Testing 3 | CWJ | ps6 | pdf1 |
| SQMP-7 (16/5) | Testing 4 Plans and Documents | CWJ | ps6 | pdf1 |
| SQMP-8 (19/5) | Testing 5 Tools and Activities | CWJ | ps6 | pdf1 |
| SQMP-9 (20/5) | Project quality causal factors | CWJ | ps6 | pdf1 |
| SQMP-10 (23/5) | Inspecting source code - Boughton et al. AsiaSTAR paper PPT only | CWJ | ||
| SQMP-11 (26/5) | Critical Systems - CARA PPT only | CWJ | ||
| SQMP-12 (27/5) |
part 2 course review Process
Oriented Techniques list of available paper handouts |
CWJ |
Date Last Modified: 21st April, 2005