Practice Sessions

• Week 1 - Domain Modelling
  • Classwork: Object-oriented modeling and design with UML, Chapter 3
    • download the exercises
• Week 2 - No Practice Sessions
• Week 3 - Domain Modelling
  • Classwork: Continuation from week 1
    • code generation
• Week 4 - Domain Modelling
  • Classwork: Object-oriented modeling and design with UML, Chapter 3 and 4
    • download the exercises
• Week 5 - Domain Modelling
  • Classwork: Continuation from week 4
    • download the solutions
• Week 6 - Use Cases
  • Classwork: Scenarios from the lecture
    • download the solutions
• Week 7 - Sequence Diagrams
  • Classwork: Scenarios from the lecture
    • download the solutions
• Week 8 - Design Patterns, Application Modelling & Code Generation
  • Classwork: Implementing a system from a provided documentation
    • download the documentation
    • download the Boundary and the DatabaseManager java classes
    • download the server.properties file
    • download CourseDAO Example
    • download EnrollmentDAO Example
• Week 9 - State Modelling
  • Classwork: Statecharts Modelling in Yakindu (solution)
• Week 10 - State Modelling
  • Classwork: Handout (word, models, solutions)
• Week 11 - State Modelling
  • Classwork: Exercises (solutions)
• Week 12 - TLA+
  • Classwork: TLA Tutorial
• Week 13 - TLA+
  • Classwork: TLA Exercises I (solutions)
• Week 14 - TLA+
  • Classwork: TLA Exercises II
• Week 15 - No practice sessions this week