Homeworks (50 points)
- Homework 1 (HW1) - Domain Modelling (8 points), due on 15.10.2018 at 23:59. To be completed in pairs.
- Homework 2 (HW2) - Interaction Modelling, Application Modelling, and Coding (20 points), due on 19.11.2018 at 23:59. To be completed in pairs.
- Homework 3 (HW3) - State Modelling (10 points), due on 03.12.2018 at 23:59. To be completed in pairs.
- Homework 4 (HW4) - TLA+ (12 points), due on 17.12.2018 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.