| WEEK |
LECTURE |
LOCATION |
DATE |
TIME |
LECTURER |
ASS. DUE |
| 1 |
Intro. & Admin. |
MCC-T5 |
21 Feb |
17:00 |
Newey |
|
| |
Higher Order Logic (HOL) |
MCC-T5 |
24 Feb |
15:00 |
Newey |
|
| |
Mechanizing HOL |
MCC-T5 |
25 Feb |
15:00 |
Newey |
|
| 2 |
Forward Proof in HOL |
CSIT N101 |
28 Feb |
15:00 |
Newey |
|
| |
Backward Proof in HOL |
MCC-T5 |
3 Mar |
15:00 |
Newey |
|
| |
HOL Tactics and Tacticals |
MCC-T5 |
4 Mar |
15:00 |
Newey |
|
| 3 |
Revision of easy Z |
ENGN-T |
7 Mar |
15:00 |
Newey |
|
| |
Z - Definitions and Functions |
MCC-T5 |
10 Mar |
15:00 |
Newey |
|
| |
Z - Sequences and bags |
MCC-T5 |
11 Mar |
15:00 |
Newey |
|
| 4 |
Z Case Study |
ENGN-T |
14 Mar |
15:00 |
Newey |
|
| |
Theories in HOL |
MCC-T5 |
17 Mar |
15:00 |
Newey |
|
| |
Petri Nets |
MCC-T5 |
18 Mar |
15:00 |
Newey |
|
| 5 |
Canberra Day |
|
21 Mar |
|
|
Ass 1 |
| |
Temporal Logic |
MCCT-5 |
24 Mar |
15:00 |
Newey |
|
| |
Easter Holiday |
|
25 Mar |
|
|
|
| 6 |
Easter Holiday |
|
28 Mar |
|
|
|
| |
Temporal Logic |
MCCT-5 |
31 Mar |
15:00 |
Newey |
|
| |
Model Checking |
MCCT-5 |
1 Apr |
15:00 |
Newey |
|
| 7 |
No Lecture |
|
4 Apr |
|
|
|
| |
No Lecture |
|
7 Apr |
|
|
|
| |
No Lecture |
|
8 Apr |
|
|
|
| |
Lecture Break |
|
11 Apr - 22 Apr |
|
|
|
| 8 |
ANZAC Day |
|
25 Apr |
|
|
|
| |
No Lecture |
|
28 Apr |
|
|
|
| |
No Lecture |
|
29 Apr |
|
|
|
| 9 |
SQM Process Intro:
Quality |
ENGN-T |
2 May |
15:00 |
Johnson |
Ass 2 |
| |
V&V: intro |
MCCT-5 |
5 May |
15:00 |
Johnson |
|
| |
Inspection 1 |
MCCT-5 |
6 May |
15:00 |
Johnson |
|
| 10 |
Testing 1 |
ENGN-T |
9 May |
15:00 |
Johnson |
|
| |
Testing 2 |
MCCT-5 |
12 May |
15:00 |
Johnson |
|
| |
Testing 3 |
MCCT-5 |
13 May |
15:00 |
Johnson |
|
| 11 |
Testing 4 |
ENGN-T |
16 May |
15:00 |
Johnson |
|
| |
Testing 5
|
MCCT-5 |
19 May |
15:00 |
Johnson |
|
| |
Critical
systems/inspection 2 |
MCCT-5 |
20 May |
15:00 |
Johnson |
|
| 12 |
Quality 2 |
ENGN-T |
23 May |
15:00 |
Johnson |
|
| |
Quality 3 |
MCCT-5 |
26 May |
15:00 |
Johnson |
|
| |
Quality 4/ review |
MCCT-5 |
27 May |
15:00 |
Johnson |
|
| 13 |
No Lecture |
|
30 May |
|
|
Ass 3 |
| |
Formal Methods Review |
MCCT-5 |
2 June |
15:00 |
MCN |
|
| |
No Lecture |
|
3 June |
|
|
|
