@www.csse.monash.edu.au |
| Assessment | Contacts | Lectures | Resources | Timetables | Tutorials | Unit Outline |
| Last modified: 20080716:083108/Added links to the Event-B resources and web pages | FIT3013 AJH-2008-04 |
MUSO | Books | Lecture Slides | Event-B Resources | Web Documents
The faculty is trialling the use of Moodle as a MUSO subsystem, and FIT3013 will be run using Moodle as the primary contact point for the unit. The courseware for the unit has been developed using XML, which cannot be employed directly within Moodle, but is accessible through the Moodle pages. This should be largely transparent when navigating within Moodle, but be aware that all the courseware is available without logging on through Moodle at http://www.csse.monash.edu.au/~ajh/teaching/fit3013/2008/. This server runs a python script to convert the XML pages to HTML on the fly, and thus renders them as pages visible under Moodle.
This actually has the advantage that you can navigate between pages using the MUSO navigation, or using the FIT3013 page navigation. Your choice!
Note that the Grade Book in Moodle is not duplicated within these pages, but is accessible (with login to Moodle).
If you do have any problems with MUSO (such as missing assignments!), then please see the faculty MUSO person, Margot Schuhmacher, who is in room 125, building 63, Clayton campus, Monday to Thursday (ext 58313).
The prescribed text book is:
Unfortunately, there is no text book that describes Event-B directly. The Schneider text describes the B-Method, upon which the Event-B method is based. There are also manuals available through the Moodle and resources pages.
The lectures are derived from slides kindly provided by Professor Ken Robinson of the University of New South Wales, modified for local use. The lecture slides are on-line. See the timetables page for detail of the sequencing of these slides.
There is a very convenient Event-B Summary page prepared by Prof Ken Robinson. There is also a smaller version, suitable for double sided printing as a reference card.
The practical work is based upon the Rodin tool suite, which is available for download from the Event-B website. This site also contains documentation of the Rodin Platform. Versions for Windows, Linux, and Mac OS X are available from this subpage.
| 20080716:083108 | 7.0.1 | ajh | Added links to the Event-B resources and web pages |
| 20080630:161012 | 7.0.0 | ajh | first version for 2008 |
| This page maintained by John Hurst. Copyright Monash University Copyright Policy |
|   | |
Generated at 20090706:2138 from an XML file modified on 20080820:1118 | |||