@ |
| Assessment | Contacts | Lectures | Resources | Timetables | Tutorials | Unit Outline | reload |
| Last modified: 20100301:114242/initial version for 2010 | FIT3013 AJH-2010-13 |
Tutorial Timetable | Tutorials
| 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 start in week 2. You will be required to register for a tutorial through Allocate+. There is only one tutorial scheduled:
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).
| 20100301:114242 | 9.0.0 | ajh | initial version for 2010 |
| This page maintained by John Hurst. Copyright Monash University Copyright Policy |
|
|
|
Generated at
20120517:1544
from an XML file modified on
20101116:1503 | |||