Last modified: 20070430:154117/schedule changes

CSE4213 AJH-2007-05

Lectures

Lectures | Lecture Timetable

Lectures

The lectures will be held at 12noon in R6 on Mondays and 12noon in S1 on Tuesdays.

The lectures are based upon a set of slides kindly supplied by A/Prof Ken Robinson, of the University of New South Wales (my alma mater) and available on-line. The text book, The B-Method, by Steve Schneider, is also used to support the lecture content.

Each lecture has an index page (accessed by clicking the date entries in the following table) which gives links not only to the slides used in lectures, but also to more compact forms, as well as plain paper note form. The latter is the most economical form for printing. Links under "Topics" are to the slides used in lectures.

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.

Note that the lecture timetable has been restructured so that dates are links to the lecture index page, and the topics are links to the presentation slides.

Lecture Timetable

LectureDateTopicsCovered
0126 Feb Introduction to B, Brief Introduction to the B-Tool1-48
0227 Feb Set Theory, revision of relevant concepts1-54
 27 FebAssignment 1 Available
035 MarLECTURE CANCELLED
046 Mar Abstract Machines, CoffeeClub0, Demonstration of the BToolkit, CoffeeClub11-63, 1-38
0512 Mar CoffeeClub2, Modelling, Taking specification through to implementation, 1-114
0613 Martest machine, Formal Definitions of Relations, Functions and Sequences , 1-63
0719 Mar Library Case Study, a more realistic example1-98
0820 Mar Library Case Study (cont), making specifications robust99-151
0926 Mar Predicate Logic and Substitutions1-52
1027 Mar Discharging Proof Obligations1-20
112 Apr Discharging Proof Obligations21-30
123 Apr Discharging Proof Obligations, Specifying a Simple File System 31-41, 1-38
 4 AprAssignment 1 Due!
 4 AprAssignment 2 Available
-9 AprMid-semester break: No lectures this week
-10 AprMid-semester break: No lectures this week
1316 Apr Specifying a Simple File System 38-54
1417 Apr(Lecture cancelled due to power outage)
1523 Apr Specifying a Simple File System , Preconditions and Guards 54-87, 1-60
1624 Apr Machine Composition1-27
 27 AprAssignment 2 Due!
 27 AprAssignment 3 Available
1730 Apr Structuring Specifications1-75
181 May Structuring Specifications76-131
197 May Generalised Substitutions1-30
208 May Generalised Substitutions31-170
2114 May Traffic Lights, Refinement1-103, 1-50
2215 MayLECTURE CANCELLED
2321 May Beyond Specification1-36
2422 May Beyond Specification, Data Design1-36, 1-21
 23 MayAssignment 3 Due!
2528 May Loop Correctness1-20
2629 Mayrevision

Document History

20070430:154117 6.0.1 ajh schedule changes
20070206:221210 6.0.0 ajh initial version for 2007
This page maintained by John Hurst.
Copyright Monash University Copyright Policy
1096 accesses since
23 Feb 2007
My PhotoTrain Photo

Generated at 20090703:2130 from an XML file modified on 20070528:1025
Maintainer use only; not generally accessible: Local ServerWork ServerCSSE Server

1156 accesses since 23 Feb 2007, HTML cache rendered at 20091122:0542