[ANU ] [FEIT ] [DCS ] [COMP4100] [Lectures] [Tutorials ] [Assessment ] [Documents ] [References ] [Forum]

COMP4100 in 2007
Software Quality Management

LECTURE NOTES and LECTURE SCHEDULE


Week 1	Feb. 19	-	No lecture	-	-	-
	Feb. 21	FM-1	Overview of Formal Methods	MCN	ps4	pdf4
	Feb. 21	FM-1'	HOL System Introduction	MCN	ps4	pdf4
	Feb. 23	FM-2	Higher Order Logic Syntax	MCN	ps4	pdf4


Week 2	Feb. 26	FM-3	HOL System - Forward Reasoning	MCN	ps4	pdf4
	Feb. 28	-	ANU closed - Storm damage	-	-	-
	Mar. 2	-	ANU still `closed'	-	-	-


Week 3	Mar. 5	FM-4	Mechanizing Logic - Syntax Functions	MCN	ps4	pdf4
	Mar. 7	FM-5	HOL System - Goal Directed Proof	MCN	ps4	pdf4
	Mar. 9	FM-6	HOL System - Theories	MCN	ps4	pdf4


Week 4	Mar. 12	FM-7	HOL System - Tactics and Tacticals	MCN	ps4	pdf4
	Mar. 14	FM-8	Revision of Elementary Z	MCN	ps4	pdf4
	Mar. 16	FM-9	(Relatively) Advanced Z	MCN	ps4	pdf4


Week 5	Mar. 19	-	No lecture - Canberra Day	-	-	-
	Mar. 21	FM-10	(Relatively) Advanced Z (ctd)	MCN	ditto	ditto
	Mar. 23	FM-11	EVACS Case Study	MCN	ps4	pdf4


Week 6	Mar. 26	FM-12	Linear Temporal Logic	MCN	ps4	pdf4
	Mar. 28	FM-13	Branching Time Temporal Logic	MCN	ps4	pdf4
	Mar. 30	FM-14	Model Checking	MCN	ps4	pdf4


Week 7	Apr. 2	SQM-1	Overview of Software Quality	CVB	-	pdf
	Apr. 4	SQM-2	Clive continues on Quality	CVB		-
	Apr. 6	-	No Lecture - Good Friday	-	-	-


-	6/4 - 23/4	-	Mid-semester Lecture Break	-	-	-


Week 8	Apr. 23	SQM-3	Introduction to Inspections	CVB	-	pdf
	Apr. 25	-	Anzac Day
	Apr. 27	SQM-4	The AsiaSTAR Paper	CVB	-	pdf


Week 9	Apr. 30	SQM-5	More on Inspections	CVB	-	-
	May 02	FM-15	Petri Nets	MCN	ps4	pdf4
	May 04	SQM-6	Overview of Testing	CVB	-	pdf


Week 13	28/5 - 1/6	-	No lectures in week 13	-	-	-

[ANU ] [FEIT ] [DCS ] [COMP4100] [Lectures] [Tutorials ] [Assessment ] [Documents ] [References ] [Forum]

Date Last Modified: 25th May, 2007

Universal Resource Locator: http://cs.anu.edu.au/student/comp4100.2007/lectures.html