pop up description layer
Last modified: 20080807:091738/added week number to timetable

FIT3013 AJH-2008-12

Timetables

Module Timetable | Unit Timetable | Lecture Timetable | Tutorial Timetable | Assignment Timetable

Module Timetable

NumberTitleSlidesLectures
0Introduction to this Unit001
1 Introduction to Event-B 5101,02
2 Set Theory 5402,03
3 Abstract Machines 6303,04
4 Formal Definitions 6306
5 The Library Case Study 2007
5a Abrial: Event-B Modelling Notation 3408,09
6 Refinement - The Square Root Machine 2810
7 Substitutions 19911,12
8 Semantics of Event-B 8613
9 More Refinement - The Bridge Problem 1914
Total Slides/Average per Lecture61717.14

Unit Timetable

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.

WeekDateLectureTuteLabObjsContentNotesPDFs
114 Jul01  1,2,4Introduction to this Unit, Introduction to B 1-21-25
114 Jul 01  Set Theory Revision (Q1) pdf version
116 Jul02  1,2,4 Introduction to B , Revision of Set Theory2-4, 1-226-50, 1-22
221 Julhandout: Assignment 1
221 Jul03  1 Revision of Set Theory, Abstract Machines1-223-54, 1-8
221 Jul 02 1Set Theory Revision (Q2-Q4)pdf version
223 Jul04   Abstract Machines, Abrial's Introduction to Event-BNA9-63, 1-13
223 Julhandout: Discussion 1 pdf version
328 Jul05  Abrial's Introduction to Event-BNA14-34
328 Jul 03 Set Theory Revision (Q4-Q6)pdf version
330 Jul06  Formal Definitions of Relations, Functions and Sequences 1-131-63
404 Aug07  Birthday Book tutorial (Using Rodin), Library Case StudyNA2-4, 1-20
404 Aug 04 Set Theory Revision (Q6-Q8)pdf version
406 Aug08  1 Abrial's Mathematical Background NA1-68
406 Augclose: Discussion 1
511 Aug09  1,2,4,10 Abrial's Mathematical Background NA69-133
511 Aug 05 Simple Event-B Machinespdf version
513 Aug10  12,13 The Square Root Machine 1-91-28
513 Augreturn: Discussion 1
513 Augdue: Assignment 1
513 Aughandout: Discussion 2 pdf version
618 Aug11   Preconditions and Guards, Substitutions1-60, 1-62
618 Aug 06 Simple Event-B Machinespdf version
620 Aug12   Generalized Substitutions1-111-117
620 Aughandout: Assignment 2
725 Aug13   Semantics and Proof Obligations in Event-B1-81-82
725 Aug 07 The Lift Machinepdf version
727 Aug14  13 The Bridge Problem 1-121-12
727 Augclose: Discussion 2
801 Sepreturn: Assignment 1 solutions
801 Sep15  (Lecture Cancelled)
801 Sep 08 (Tutorial Cancelled)
803 Sep16  (Lecture Cancelled)
803 Sephandout: Discussion 3 pdf version
908 Sep17  (Lecture Cancelled)
908 Sep 09 (Tutorial Cancelled)
910 Sep18  Discussion of Assignment 1, CURRENCY and PURSE components.
1015 Sep19   Abrial Proof Obligations 1-61
1015 Sep 10  The Bag Machine
1017 Sep20   The File Protocol 1-62
1122 Sep21   The File Protocol 63-121
1122 Sep 11 Refinementpdf version
1124 Sep22  Refinement Revisited1-89
1124 Sephandout: Discussion 4 pdf version
1124 Sepreturn: Discussion 2
1124 Sepdue: Assignment 2
1126 Sepclose: Discussion 3
29 Sep-  Mid-semester (!) break - no lectures this week
01 Oct-  Mid-semester (!) break - no lectures this week
03 Octreturn: Discussion 3
1206 Oct23  Refinement Revisited90-151
1206 Oct 12 Refinement (Traffic Lights again)pdf version
1208 Oct24  Refinement Revisited lectopia recording 152-245
1208 Octclose: Discussion 4
1208 Octreturn: Assignment 2
1313 Oct25  revision
1315 Oct26   revision Lectopia recording of revision discussion
1315 Octreturn: Discussion 4

Lecture Timetable

WeekDateLectureTuteLabObjsContentNotesPDFs
114 Jul01  1,2,4Introduction to this Unit, Introduction to B 1-21-25
116 Jul02  1,2,4 Introduction to B , Revision of Set Theory2-4, 1-226-50, 1-22
221 Jul03  1 Revision of Set Theory, Abstract Machines1-223-54, 1-8
223 Jul04   Abstract Machines, Abrial's Introduction to Event-BNA9-63, 1-13
328 Jul05  Abrial's Introduction to Event-BNA14-34
330 Jul06  Formal Definitions of Relations, Functions and Sequences 1-131-63
404 Aug07  Birthday Book tutorial (Using Rodin), Library Case StudyNA2-4, 1-20
406 Aug08  1 Abrial's Mathematical Background NA1-68
511 Aug09  1,2,4,10 Abrial's Mathematical Background NA69-133
513 Aug10  12,13 The Square Root Machine 1-91-28
618 Aug11   Preconditions and Guards, Substitutions1-60, 1-62
620 Aug12   Generalized Substitutions1-111-117
725 Aug13   Semantics and Proof Obligations in Event-B1-81-82
727 Aug14  13 The Bridge Problem 1-121-12
801 Sep15  (Lecture Cancelled)
803 Sep16  (Lecture Cancelled)
908 Sep17  (Lecture Cancelled)
910 Sep18  Discussion of Assignment 1, CURRENCY and PURSE components.
1015 Sep19   Abrial Proof Obligations 1-61
1017 Sep20   The File Protocol 1-62
1122 Sep21   The File Protocol 63-121
1124 Sep22  Refinement Revisited1-89
29 Sep-  Mid-semester (!) break - no lectures this week
01 Oct-  Mid-semester (!) break - no lectures this week
1206 Oct23  Refinement Revisited90-151
1208 Oct24  Refinement Revisited lectopia recording 152-245
1313 Oct25  revision
1315 Oct26   revision Lectopia recording of revision discussion

Tutorial Timetable

WeekDateTuteObjsContentSolutionsPDFs
114 Jul01 Set Theory Revision (Q1) questions 1,2,3pdf version
221 Jul021Set Theory Revision (Q2-Q4) questions 1,2,3pdf version
328 Jul03Set Theory Revision (Q4-Q6) questions 4,5pdf version
404 Aug04Set Theory Revision (Q6-Q8) questions 6,7,8pdf version
511 Aug05Simple Event-B Machines Simple Bank pdf version
618 Aug06Simple Event-B Machines Traffic Lightspdf version
725 Aug07The Lift Machine pdf version
801 Sep08(Tutorial Cancelled)
908 Sep09(Tutorial Cancelled)
1015 Sep10 The Bag Machine
1122 Sep11Refinement pdf version
1206 Oct12Refinement (Traffic Lights again)pdf version

Assignment Timetable

WeekDateObjsContentPDFs
221 Julhandout: Assignment 1
223 Julhandout: Discussion 1 pdf version
406 Augclose: Discussion 1
513 Augreturn: Discussion 1
513 Augdue: Assignment 1
513 Aughandout: Discussion 2 pdf version
620 Aughandout: Assignment 2
727 Augclose: Discussion 2
801 Sepreturn: Assignment 1 solutions
803 Sephandout: Discussion 3 pdf version
1124 Sephandout: Discussion 4 pdf version
1124 Sepreturn: Discussion 2
1124 Sepdue: Assignment 2
1126 Sepclose: Discussion 3
03 Octreturn: Discussion 3
1208 Octclose: Discussion 4
1208 Octreturn: Assignment 2
1315 Octreturn: Discussion 4

Document History

20080807:091738 7.1.0 ajh added week number to timetable
20080701:155219 7.0.0 ajh initial version for 2008
This page maintained by John Hurst.
Copyright Monash University Copyright Policy
468 accesses since
07 Jul 2008
My PhotoTrain Photo

Generated at 20090703:1955 from an XML file modified on 20080809:1214
Maintainer use only; not generally accessible: Local ServerWork ServerCSSE Server

543 accesses since 07 Jul 2008, HTML cache rendered at 20091119:1201