Systems Modelling
Note. If you click on a link and you're asked for a password, don't panic: It just means that the corresponding file has not yet been uploaded. Lecture slides will be uploaded the day before each lecture.
Lectures
- 03.09 - Class Modelling (F. Maggi)
- Slides
- Extra Exercises: Object-oriented modeling and design with UML, Chapter 3, exercises 3.7, 3.8, 3.9, 3.10, 3.11 and 3.34
- 10.09 - Class Modelling (F. Maggi)
- Slides
- Extra Exercises: Object-oriented modeling and design with UML, Chapter 4, exercises 4.3, 4.4, 4.7, 4.14, 4.16 and 4.18
- 17.09 - Interaction Modelling: Use Cases (F. Maggi)
- Slides
- Extra Exercises: Object-oriented modeling and design with UML, Chapter 8, exercises 8.2 and 8.3
- 24.09 - Interaction Modelling: Sequence Diagrams (F. Maggi)
- 01.10 - Class Design (F. Maggi)
- Slides
- Extra Exercises: Object-oriented modeling and design with UML, Chapter 15, exercises 15.3, 15.6, 15.7, 15.8, 15.9 and 15.10
- 08.10 - Implementation and Code Generation (F. Maggi)
- Slides (cont. from the previous lecture)
- 15.10 - State Modelling (L. García)
- 22.10 - State Modelling (L. García)
- 29.10 - Petri nets (F. Maggi)
- 05.11 - Modelling in Practice (K. Kesküla)
- 12.11 - Petri nets (F. Maggi)
- 19.11 - Coloured Petri nets (L. García)
- Slides available at http://www.cs.au.dk/~cpnbook/ (Chapter 2)
- 26.11 - No Lecture
- 03.12 - Coloured Petri nets (L. García)
- Slides available at http://www.cs.au.dk/~cpnbook/ (Chapters 10 and 12)
- 10.12 - Exam preparation (M. Dumas)