pop up description layer
| Last modified: 20090330:113909/rewrite for Event-B as far as context axioms | |
Learning Module 5: Library Case Study
The Library Case Study | Improvement
The Library Case Study
| presentation | slides as given in lectures, with multiple slides per point | 151? pages |
| older B slides | slides from the B Methods version | 50? pages |
| pdf slides | slides reduced with multiple points per slide | 50? pages |
In this lecture, we develop a specification from scratch, showing how each of the specification components is motivated.
Improvement
Rewrite slides for Event-B
previous: LM4: Formal Definitions of Relations next: LM6: Refinement - The Square Root Machine
Document History
| 20090330:113909 | 8.0.1 | ajh | rewrite for Event-B as far as context axioms |
| 20090330:102235 | 8.0.0 | ajh | version for 2009 |
