Practice Sessions

• Week 1 - Domain Modelling
  • Classwork: Object-oriented modeling and design with UML, Chapter 3
    • download the exercises
    • download the solutions
• Week 2 - Domain Modelling
  • Classwork: Continuation from week 1 + Exercises 3.7, 3.25 and 4.12
    • download the exercises
    • download the solutions
    • code generation
• Week 3 - Domain Modelling
  • Classwork: Object-oriented modeling and design with UML, Chapter 3 and 4
    • download the exercises
• Week 4 - Domain Modelling
  • Classwork: Continuation from week 4
    • download the exercises
    • download the solutions
• Week 5 - Use Cases
  • Classwork: Scenarios from the lecture
    • download the solutions
• Week 6 - Sequence Diagrams
  • Classwork: Scenarios from the lecture
    • download the solutions
• Week 7 - Design Patterns, Application Modelling & Code Generation
  • Classwork: Implementing a system from a provided documentation
    • Code
    • Documentation
    • HSQL-Tutorial
    • Download HSQL
    • Tutorial Code Generation
    • FINAL SOLUTION
• Week 8 - State Modelling
  • Classwork: Yakindu Tutorial (solution)
• Week 9 - State Modelling
  • Classwork: Advanced Statechart Features (solutions)
• Week 10 - State Modelling
  • Classwork: Exercises (solutions)
• Week 11 - TLA+
  • Classwork: TLA Tutorial
• Week 12 - TLA+
  • Classwork: Intro Exercises
• Week 13 - TLA+
  • Classwork: Liveness
• Week 14 - TLA+
  • Classwork: Doing the homework!
• Week 15 - No practice sessions this week