Timetables

Module Timetable | Unit Timetable | Lecture Timetable | Tutorial Timetable | Assignment Timetable

Module Timetable

Number	Title	Slides	Lectures
0	Introduction to this Unit	0	01
1	Introduction to Event-B	51	01,02
1a	Abrial's Introduction to Event-B	34	03,04
2	Case Study: The Bridge	19	05,06
3	Mathematical Background	54	07,08
3a	Formal Definitions	63	-
4	Abstract Machines	63	-
5	The Library Case Study	20	09,10
6	Refinement - The Square Root Machine	28	12
7	Substitutions	199	-
8	Semantics of Event-B	86	11
9	Abrial's Proof Obligations Slides	61	14
10	Refinement	238	20,22,23
11	Sorting Algorithms	81	14,15,16
12	Abrial's File Transmission Protocol Slides	61	18,19
	Total Slides/Average per Lecture	1058	29.39

Unit Timetable

In this table, green entries have been released to students, black entries are in draft form or not yet available, while red entries indicate activities that have been completed.

Week	Date	Lecture	Tute	Objs	Content	Notes	PDFs
1	02 Mar	01		1,2,4	Introduction to this Unit, Introduction to Event B	1-2	1-27
1	02 Mar				handout: Assignment 1a		pdf version
1	04 Mar	02		1,2,4	Introduction to Event B	2-4	28-50
1	04 Mar				handout: Discussion 1		pdf version
2	9 Mar	03		1	Abrial's Introduction to Event-B	NA	1-27
2	9 Mar		01		Set Theory Revision (Q1-Q3)		pdf version
2	11 Mar	04			Abrial's Introduction to Event-B, Revision of Set Theory	NA, 1-3	27-34, 1-58
3	16 Mar	05		1,2,3,12,13	The Bridge Problem	1-9	NA
3	16 Mar		02	1	Set Theory Revision (Q4)		pdf version
3	18 Mar	06		1,2,3,12,13	The Bridge Problem , Use of Rodin	9-16	NA
4	23 Mar				due: Assignment 1a
4	23 Mar	07		1	Abrial's Mathematical Background	NA	1-60
4	23 Mar		03		Set Theory Revision (Q5-Q6)		pdf version
4	25 Mar	08		1	Abrial's Mathematical Background	NA	60-134
4	25 Mar				close: Discussion 1
5	30 Mar				due: Assignment 1b
5	30 Mar	09			Simple Library Machine		1-79
5	30 Mar		04		Simple Library Machine Development		pdf version
5	01 Apr	10			Simple Library Machine		80-151
5	01 Apr				return: Discussion 1
5	01 Apr			1,2,4,9	handout: Discussion 2		pdf version
6	06 Apr	11			Semantics and Proof Obligations in Event-B	1-8	1-86
6	06 Apr		05		Simple Event-B Machines: Bank		pdf version
6	08 Apr	12		7,10,12,13	The Square Root Machine	1-12	1-78
6	08 Apr				handout: Assignment 2
	13 Apr	-			Mid-semester (!) break - no lectures this week
	15 Apr	-			Mid-semester (!) break - no lectures this week
7	20 Apr	13			Abrial Proof Obligations		1-29
7	20 Apr		06		Simple Event-B Machines: Traffic Lights		pdf version
7	22 Apr	14			Abrial Proof Obligations , Sorting Algorithms		30-61, 1-10
7	22 Apr				close: Discussion 2
8	27 Apr				return: Assignment 1 solutions		pdf version
8	27 Apr	15			Sorting Algorithms (as presented)		10-62
8	27 Apr		07		Simple Event-B Machines: Lift Machine		pdf version
8	29 Apr	16			Sorting Algorithm Example , Sorting Algorithms (revised)		1-49, 1-81
8	29 Apr				handout: Discussion 3		pdf version
9	04 May	17			Preconditions and Guards	1-11	1-61
9	04 May		09		The Bag Machine		pdf version
9	06 May	18			The File Transmission Protocol		1-61
10	11 May	19			The File Transmission Protocol		62-121
10	11 May		10		More Refinement Examples		pdf version
10	13 May	20			Refinement Revisited		1-73
11	18 May	21			CANCELLED
11	18 May		11		CANCELLED
11	20 May				due: Assignment 2
11	20 May	22			Refinement Revisited		74-116
11	20 May				handout: Discussion 4		pdf version
11	20 May				return: Discussion 2
11	20 May				close: Discussion 3
12	25 May	23			Refinement Revisited		117-237
12	25 May		12		Refinement (Traffic Lights again)		pdf version
12	27 May	24			CANCELLED
12	27 May				return: Assignment 2
12	27 May				return: Discussion 3
13	01 Jun	25			revision
13	01 Jun		13		Review of 2008 Exam Paper
13	03 Jun	26			Review of various exam papers
13	03 Jun				close: Discussion 4
14	10 Jun				return: Discussion 4

Lecture Timetable

Week	Date	Lecture	Objs	Content	Notes	PDFs
1	02 Mar	01	1,2,4	Introduction to this Unit, Introduction to Event B	1-2	1-27
1	04 Mar	02	1,2,4	Introduction to Event B	2-4	28-50
2	9 Mar	03	1	Abrial's Introduction to Event-B	NA	1-27
2	11 Mar	04		Abrial's Introduction to Event-B, Revision of Set Theory	NA, 1-3	27-34, 1-58
3	16 Mar	05	1,2,3,12,13	The Bridge Problem	1-9	NA
3	18 Mar	06	1,2,3,12,13	The Bridge Problem , Use of Rodin	9-16	NA
4	23 Mar	07	1	Abrial's Mathematical Background	NA	1-60
4	25 Mar	08	1	Abrial's Mathematical Background	NA	60-134
5	30 Mar	09		Simple Library Machine		1-79
5	01 Apr	10		Simple Library Machine		80-151
6	06 Apr	11		Semantics and Proof Obligations in Event-B	1-8	1-86
6	08 Apr	12	7,10,12,13	The Square Root Machine	1-12	1-78
	13 Apr	-		Mid-semester (!) break - no lectures this week
	15 Apr	-		Mid-semester (!) break - no lectures this week
7	20 Apr	13		Abrial Proof Obligations		1-29
7	22 Apr	14		Abrial Proof Obligations , Sorting Algorithms		30-61, 1-10
8	27 Apr	15		Sorting Algorithms (as presented)		10-62
8	29 Apr	16		Sorting Algorithm Example , Sorting Algorithms (revised)		1-49, 1-81
9	04 May	17		Preconditions and Guards	1-11	1-61
9	06 May	18		The File Transmission Protocol		1-61
10	11 May	19		The File Transmission Protocol		62-121
10	13 May	20		Refinement Revisited		1-73
11	18 May	21		CANCELLED
11	20 May	22		Refinement Revisited		74-116
12	25 May	23		Refinement Revisited		117-237
12	27 May	24		CANCELLED
13	01 Jun	25		revision
13	03 Jun	26		Review of various exam papers

Tutorial Timetable

Week	Date	Tute	Objs	Content	Solutions	PDFs
2	9 Mar	01		Set Theory Revision (Q1-Q3)	Q1-Q3	pdf version
3	16 Mar	02	1	Set Theory Revision (Q4)	Q1-Q4	pdf version
4	23 Mar	03		Set Theory Revision (Q5-Q6)	Q1-Q6	pdf version
5	30 Mar	04		Simple Library Machine Development	Q1-Q2	pdf version
6	06 Apr	05		Simple Event-B Machines: Bank	Simple Bank	pdf version
7	20 Apr	06		Simple Event-B Machines: Traffic Lights	Traffic Lights	pdf version
8	27 Apr	07		Simple Event-B Machines: Lift Machine	(solution included)	pdf version
9	04 May	09		The Bag Machine	(solution included)	pdf version
10	11 May	10		More Refinement Examples	Q1 , Q1R , Q2 , Q2R	pdf version
11	18 May	11		CANCELLED
12	25 May	12		Refinement (Traffic Lights again)		pdf version
13	01 Jun	13		Review of 2008 Exam Paper

Assignment Timetable

Week	Date	Objs	Content	PDFs
1	02 Mar		handout: Assignment 1a	pdf version
1	04 Mar		handout: Discussion 1	pdf version
4	23 Mar		due: Assignment 1a
4	25 Mar		close: Discussion 1
5	30 Mar		due: Assignment 1b
5	01 Apr		return: Discussion 1
5	01 Apr	1,2,4,9	handout: Discussion 2	pdf version
6	08 Apr		handout: Assignment 2
7	22 Apr		close: Discussion 2
8	27 Apr		return: Assignment 1 solutions	pdf version
8	29 Apr		handout: Discussion 3	pdf version
11	20 May		due: Assignment 2
11	20 May		handout: Discussion 4	pdf version
11	20 May		return: Discussion 2
11	20 May		close: Discussion 3
12	27 May		return: Assignment 2
12	27 May		return: Discussion 3
13	03 Jun		close: Discussion 4
14	10 Jun		return: Discussion 4

Document History

20090129:151521

8.0.0

ajh

initial version for 2009

This page maintained by John Hurst.
Copyright Monash University Copyright Policy

237 accesses since
29 Jan 2009

Generated at 20090703:0843 from an XML file modified on 20090129:1612
Maintainer use only; not generally accessible: Local Server Work Server CSSE Server

324 accesses since 29 Jan 2009, HTML cache rendered at 20091125:0150