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

• 04.09 - Introduction and Domain Modelling (L. García Bañuelos)
  • Slides
• 11.09 - No Lecture. Autonomous Study: Java
  • Material
• 18.09 - Domain Modelling (F.M. Maggi)
  • Slides
• 25.09 - Domain Modelling (F.M. Maggi)
  • Slides
• 02.10 - Domain Modelling (F.M. Maggi)
  • Slides
• 09.10 - Use Cases (F.M. Maggi)
  • Slides
  • Template and example
• 16.10 - Sequence Diagrams (F.M. Maggi)
  • Slides
• 23.10 - Design Patterns, Application Modelling & Code Generation (F.M. Maggi)
  • Slides
  • download exercise
• 30.10 - State Modelling (M. Dumas)
  • Slides (in PPT)
  • Video recording
• 06.11 - State Modelling (M. Dumas)
  • Slides (in PPT)
  • Video recording
• 13.11 - State Modelling for Testing (V. Vojdani)
  • Slides? (to appear), Lamport video.
• 20.11 - TLA+ (V. Vojdani)
  • Slides (Wayne Ch5, code).
• 27.11 - TLA+ (V. Vojdani)
  • Slides (Wayne Ch6, exercises/code)
• 04.12 - TLA+ (V. Vojdani)
  • exercises/code
• 11.12 - Exam Preparation
  • Last year's exams: Variant A and Variant B