| About CSE4213 | Assessment | Contacts | Lectures | Resources | Timetables | Tutorials |
| Last modified: 20070417:170727/version for 2007 | CSE4213 AJH-2007-25 |
Case Study: A Simple File System (cont.) | Preconditions and Guards
| presentation | slides as given in lectures, with multiple slides per points | 87 pages |
| slides | slides as per the lectures, but multiple points per slide, suitable for printing | 36 pages |
| notes | the slides reduced to note form, even more suitable for printing | 8 pages |
Concluding the case study showing how to specify a file system. Uses sequences.
Covered in this lecture: slides 54-87 (presentation).
| presentation | slides as given in lectures, with multiple slides per points | 87 pages |
| slides | slides as per the lectures, but multiple points per slide, suitable for printing | 36 pages |
| notes | the slides reduced to note form, even more suitable for printing | 8 pages |
Discusses the differences between preconditions and guards.
Covered in this lecture: slides 1-16 (presentation).
previous lecture next lecture| 20070417:170727 | 6.0.0 | ajh | version for 2007 |
| This page maintained by John Hurst. Copyright Monash University Copyright Policy |
|
 
|
|
Generated at
20090719:0414
from an XML file modified on
20070521:1123 | |||