COMP2111: System Modelling & Design
May 16, 2012
This page contains both notes and slides versions of the lectures. (Also see Abrial’s slides)
The slides version corresponds to the presentation used in the lectures, while the notes contain the same information, but formatted as an article.
Lecture Notes/Slides Directories ![[Picture]](../Icons/pdf.gif){kind=icon}
| Week | Date | Topic | Lecture Notes | Lecture Slides | Text Book | Podcasts | |
| 1 | 12/02/27 | Introductions to modelling; ass1 (CoffeeClub) | Introduction notes | Introduction slides | Chapter 3 | cs2111-120227.mp3 | |
| 2 | 12/03/12,14 | Square root model | SquareRoot article | SquareRoot slides | Chapter 4 | cs2111-120312.mp3, cs2111-120314.mp3 | |
| 3 | 12/03/19 | TrafficLights slides | Chapter 5 | cs2111-120319.mp3 | |||
| 3 | 12/03/21 | Assignment 2 discussion | Assignment 2 spec | cs2111-120321.mp3 | |||
| 4 | 12/03/26 | Simple monolithic queue | Queue article | Queue slides | Chapter 7 | cs2111-120326.mp3 | |
| 4 | 12/03/28 | Simple Queue refinement to linked structure | cs2111-120328.mp3 | ||||
| 6 | 12/04/04 | Event-B semantics | Semantics article | Semantics slides | Chapter 6 | cs2111-120404.mp3 | |
| 6 | cs2111-100413.mp3, cs2111-100416.mp3 | ||||||
| 9 | 12/04/30 | Discussion of assignment 3 & Lift control requirements | cs2111-120430.mp3 | ||||
| 9 | 12/05/02 | Lift control requirements | cs2111-120502.mp3 | ||||
| 11 | 16/05/12 | Notes later | cs2111-120516.mp3 |