Last modified: 20070507:095004/added detail about assignments 2 and 3 (Assessment_Schedule)

CSE4213 AJH-2005-11

Timetables

Lecture Timetable | Tutorial Timetable | Assignment Timetable

Lecture Timetable

Lecture	Date	Topics	Covered
01	26 Feb	Introduction to B, Brief Introduction to the B-Tool	1-48
02	27 Feb	Set Theory, revision of relevant concepts	1-54
	27 Feb	Assignment 1 Available
03	5 Mar	LECTURE CANCELLED
04	6 Mar	Abstract Machines, CoffeeClub0, Demonstration of the BToolkit, CoffeeClub1	1-63, 1-38
05	12 Mar	CoffeeClub2, Modelling, Taking specification through to implementation	, 1-114
06	13 Mar	test machine, Formal Definitions of Relations, Functions and Sequences	, 1-63
07	19 Mar	Library Case Study, a more realistic example	1-98
08	20 Mar	Library Case Study (cont), making specifications robust	99-151
09	26 Mar	Predicate Logic and Substitutions	1-52
10	27 Mar	Discharging Proof Obligations	1-20
11	2 Apr	Discharging Proof Obligations	21-30
12	3 Apr	Discharging Proof Obligations, Specifying a Simple File System	31-41, 1-38
	4 Apr	Assignment 1 Due!
	4 Apr	Assignment 2 Available
-	9 Apr	Mid-semester break: No lectures this week
-	10 Apr	Mid-semester break: No lectures this week
13	16 Apr	Specifying a Simple File System	38-54
14	17 Apr	(Lecture cancelled due to power outage)
15	23 Apr	Specifying a Simple File System , Preconditions and Guards	54-87, 1-60
16	24 Apr	Machine Composition	1-27
	27 Apr	Assignment 2 Due!
	27 Apr	Assignment 3 Available
17	30 Apr	Structuring Specifications	1-75
18	1 May	Structuring Specifications	76-131
19	7 May	Generalised Substitutions	1-30
20	8 May	Generalised Substitutions	31-170
21	14 May	Traffic Lights, Refinement	1-103, 1-50
22	15 May	LECTURE CANCELLED
23	21 May	Beyond Specification	1-36
24	22 May	Beyond Specification, Data Design	1-36, 1-21
	23 May	Assignment 3 Due!
25	28 May	Loop Correctness	1-20
26	29 May	revision

Tutorial Timetable

Tute	Start Date	Tute Sheet	Solutions
1	26 Feb	Exercise 1, Revision exercises in Sets (1-3)	questions 1,2,3
2	6 Mar	Tutorial Cancelled
3	12 Mar	Exercsie 1, Revision exercises in Sets (4-5)	questions 4,5
4	19 Mar	Exercsie 1, Revision exercises in Sets (6-8)	questions 6,7,8
5	26 Mar	Exercise 2, sample specifications (Q1)	Simple Bank
6	2 Apr	Exercise 2, sample specifications (Q1, robust; Q2)
7	16 Apr	Tutorial cancelled due to power outage
8	23 Apr	Discussion of Assignment 1; Exercise 2, sample specifications (Q2)	Traffic Lights
9	30 Apr	Exercises 3
10	7 May	The Lift Machine
10	15 May	Exercises 4 (array machine)
11	21 May	Exercises 4 (snack machine)
12	29 May	Exercises 4 (bag machine), revision	Bags

Assignment Timetable

Assignment	Start Date	Due Date	Assignment Materials	Solutions
1	27 Feb	04 Apr	Student Enrolment: Basic Specification Enrol1 test 1 Enrol1 test 2 test 3 test 4	Ass1-Sol.pdf
2	4 Apr	27 Apr	Student Enrolment: Courses	marking scheme
3	27 Apr	23 May	Enrolment System: Design and Learning Outcomes	marking scheme

Document History

20070220:121930

6.0.0

ajh

initial version for 2007

Document History (Assessment_Schedule)

20070507:095004	6.0.2	ajh	added detail about assignments 2 and 3
20070220:121805	6.0.1	ajh	added assignment 1
20070206:144217	6.0.0	ajh	initial version for 2007

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

945 accesses since
26 Feb 2007

Generated at 20090706:1712 from an XML file modified on 20070523:1840
Maintainer use only; not generally accessible: Local Server Work Server CSSE Server

11 accesses since 24 Oct 2008, HTML cache rendered at 20120202:2138