Tutorials

Tutorial Timetable

Week	Date	Tute	Objs	Content	Solutions	PDFs
2	10 Mar	01	11	Use of Rodin
3	17 Mar	02	1	Set Theory Revision (Q1-Q3)	Q1-Q3	pdf version
4	24 Mar	03	1	Set Theory Revision (Q4), Set Theory Revision (Q5-Q6)	Q1-Q4, Q1-Q6	pdf version, pdf version
5	30 Mar	04		Rodin and Refinement		pdf version
6	14 Apr	05		Simple Library Machine Development, Simple Event-B Machines: Bank	Q1-Q2 , Simple Bank	pdf version, pdf version
7	21 Apr	06		Simple Event-B Machines: Traffic Lights	Traffic Lights	pdf version
8	28 Apr	07		Simple Event-B Machines: Lift Machine	(solution included)	pdf version
9	05 May	08		The Supermarket	(solution included)	pdf version
10	12 May	09		More Refinement Examples	Q1 , Q1R , Q2 , Q2R	pdf version
11	19 May	10		CANCELLED
12	26 May	11		Refinement (Traffic Lights again)		pdf version
13	01 Jun	12		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:

Wed 1300-1400 (1-2pm) in Building 26 room 153

(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)

20100301:114242

9.0.0

ajh

initial version for 2010

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

12 accesses since
08 Feb 2012

Generated at 20120517:1544 from an XML file modified on 20101116:1503
Maintainer use only; not generally accessible: Local Server Work Server CSSE Server

124 accesses since 01 Mar 2010, HTML cache rendered at 20120526:0547