Tutorials

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

Tutorials

Tutorials start in week 2. You will be required to register for a tutorial through Allocate+. There is only one tutorial scheduled:

Mon 1400-1500 (3-4pm) in Building 60 room EH1-3

(Lecturer access only: Allocate Admin, TCUP access)

Tutorials will provide an opportunity for more interactive learning than is possible in either lectures or lab sessions. Tutorial questions will be made available through this web page, and you are encouraged to prepare responses to these questions before attending the tutorial session.

An attendance roll will be kept, including details of who participated in discussion. This roll may be used in borderline cases to improve a student's mark (but never downgrade it).

Document History (Tutorials)

20090309:112111	8.0.1	ajh	corrected tutorial details
20090302:170722	8.0.0	ajh	initial version for 2009

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

419 accesses since
02 Mar 2009

Generated at 20090824:1554 from an XML file modified on 20090514:1706
Maintainer use only; not generally accessible: Local Server Work Server CSSE Server

507 accesses since 02 Mar 2009, HTML cache rendered at 20091124:0536