Homeworks (50 points)
- Homework 1 (HW1) - Domain Modelling (8 points), due on 07.10.2019 at 23:59. To be completed in pairs.
- Reference Solution (by Clément Duval)
- Homework 2 (HW2) - Interaction Modelling, Application Modelling, and Coding (20 points), due on 11.11.2019 at 23:59. To be completed in pairs.
- Homework 3 (HW3) - State Modelling (10 points), due on 25.11.2019 at 23:59. To be completed in pairs.
- Homework 4 (HW4) - TLA+ (12 points), due on 16.12.2019 at 23:59. To be completed in pairs.
All deadlines are set to 23:59 (EEST). Being late implies the following penalties:
- Up to 24 hours late: score is reduced by 20%
- 24-48 hours late: score is reduced by 40%
- > 48 hours late: 100% of the points deducted.
Exam (50 points)
See the exam Info page for additional details.
- Exam 1: 07.01.2020, 14:15-17:30
- Exam 2: 14.01.2020, 14:15-17:30
- Resit: 28.01.2020, 14:15-17:30