@www.csse.monash.edu.au |
| Assessment | Contacts | Lectures | Resources | Timetables | Tutorials | Unit Outline |
| Last modified: 20080624:222606/first version for 2008 | FIT3013 AJH-2008-03 |
Philosophy | Learning Modules | Lecture Timetable | Lectures | Tutorial Timetable | Laboratories | Learning Resources
I enjoy teaching. And I want students to enjoy learning!
So how to go about this? I think it has to be a joint effort between staff and students. A year os so ago, the faculty invited some students to comment upon what they thought contributed to their learning, and by implication, their enjoyment of learning. Here's a few of the comments that I noted down:
I hope we can explore a few of these ideas this semester.
| Number | Title | Slides | Lectures |
|---|---|---|---|
| 0 | Introduction to this Unit | 0 | 01 |
| 1 | Introduction to Event-B | 51 | 01,02 |
| 2 | Set Theory | 54 | 02,03 |
| 3 | Abstract Machines | 63 | 03,04 |
| 4 | Formal Definitions | 63 | 06 |
| 5 | The Library Case Study | 20 | 07 |
| 5a | Abrial: Event-B Modelling Notation | 34 | 08,09 |
| 6 | Refinement - The Square Root Machine | 28 | 10 |
| 7 | Substitutions | 199 | 11,12 |
| 8 | Semantics of Event-B | 86 | 13 |
| 9 | More Refinement - The Bridge Problem | 19 | 14 |
| Total Slides/Average per Lecture | 617 | 17.14 |
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.
The lectures will be held at 2pm in S10 on Mondays and 10am in H5 on Wednesdays.
The lectures are based upon a set of slides kindly supplied by A/Prof Ken Robinson, of the University of New South Wales (where I did my PhD) and available on-line. The text book, The B-Method, by Steve Schneider, is also used to support the lecture content, although be aware that the book describes a slightly earlier notation, the B Method. In this unit, we will be dealing with the Event-B notation.
Each learning module has an index page (accessed by clicking the name of the learning module entries in the on-line table) which gives links not only to the slides used in this learning module, but also related learning materials. Links under "Slides" are to the slides used in lectures, while links under "Notes" are to a form more suitable for printing.
Important Note: The index pages also contain links to other supporting material that will also be used in lectures. Do not make the mistake of thinking that the lecture notes define the examinable material for the unit! Examinable material is all that material covered in lectures and in documents referenced in these pages (such as tutorials and assignments, including the discussions), unless otherwise specified.
A good way of deciding whether learning materials made available in this unit are examinable is to check them against the unit objectives. If they relate to the unit objectives, they are examinable!
Please bear in mind that at the time of writing, not all materials to be used in the lectures have been identified. This page will be updated regularly to reflect past practice, current happenings, and future intentions. Lines in red represent completed activities.
| Week | Date | Tute | Objs | Content | Solutions | PDFs |
|---|---|---|---|---|---|---|
| 1 | 14 Jul | 01 | Set Theory Revision (Q1) | questions 1,2,3 | pdf version | |
| 2 | 21 Jul | 02 | 1 | Set Theory Revision (Q2-Q4) | questions 1,2,3 | pdf version |
| 3 | 28 Jul | 03 | Set Theory Revision (Q4-Q6) | questions 4,5 | pdf version | |
| 4 | 04 Aug | 04 | Set Theory Revision (Q6-Q8) | questions 6,7,8 | pdf version | |
| 5 | 11 Aug | 05 | Simple Event-B Machines | Simple Bank | pdf version | |
| 6 | 18 Aug | 06 | Simple Event-B Machines | Traffic Lights | pdf version | |
| 7 | 25 Aug | 07 | The Lift Machine | pdf version | ||
| 8 | 01 Sep | 08 | (Tutorial Cancelled) | |||
| 9 | 08 Sep | 09 | (Tutorial Cancelled) | |||
| 10 | 15 Sep | 10 | The Bag Machine | |||
| 11 | 22 Sep | 11 | Refinement | pdf version | ||
| 12 | 06 Oct | 12 | Refinement (Traffic Lights again) | pdf version |
There are no formally allocated laboratories for this unit, but students are expected to avail themselves of laboratory resources in learning specification skills with the use of the Rodin tool. This tool is also available for downloading (see the Resources Page), and running on personal computers or laptops.
Use of the Rodin tool is required to complete the assignments.
| 20080624:222606 | 7.0.0 | ajh | first version for 2008 |
| This page maintained by John Hurst. Copyright Monash University Copyright Policy |
| ||
Generated at 20090704:0048 from an XML file modified on 20080712:1229 | |||