@www.csse.monash.edu.au |
| Assessment | Contacts | Lectures | Resources | Timetables | Tutorials | Unit Outline |
| Last modified: 20080624:222606/first version for 2008 | FIT3013 AJH-2009-10 |
Philosophy | Feedback | 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.
Part of the process of learning requires the teacher to adjust the material to suit the pace of the student. Doing this requires feedback from the student to the teacher. Here are some possibilities for feedback in this unit:
| Number | Title | Slides | Lectures |
|---|---|---|---|
| 0 | Introduction to this Unit | 0 | 01 |
| 1 | Introduction to Event-B | 51 | 01,02 |
| 1a | Abrial's Introduction to Event-B | 34 | 03,04 |
| 2 | Case Study: The Bridge | 19 | 05,06 |
| 3 | Mathematical Background | 54 | 07,08 |
| 3a | Formal Definitions | 63 | - |
| 4 | Abstract Machines | 63 | - |
| 5 | The Library Case Study | 20 | 09,10 |
| 6 | Refinement - The Square Root Machine | 28 | 12 |
| 7 | Substitutions | 199 | - |
| 8 | Semantics of Event-B | 86 | 11 |
| 9 | Abrial's Proof Obligations Slides | 61 | 14 |
| 10 | Refinement | 238 | 20,22,23 |
| 11 | Sorting Algorithms | 81 | 14,15,16 |
| 12 | Abrial's File Transmission Protocol Slides | 61 | 18,19 |
| Total Slides/Average per Lecture | 1058 | 29.39 |
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 12noon in H3 on Mondays and 12noon in R6 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 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 |
|---|---|---|---|---|---|---|
| 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 |
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
20090725:0650
from an XML file modified on
20090325:1129 | |||