Systems Modelling

• Lectures: Tuesdays 14:15, Liivi 2, room 111
• Practicals: Tuesdays 16:15, Liivi 2, room 402 or Fridays 16:15, Liivi 2, room 402
• Coordinator: Fabrizio Maria Maggi (f.m.maggi@ut.ee)

For questions and discussions, you can use the http://piazza.com. We also use the message board for important announcements. Please subscribe to the message board to follow-up the discussions.

Objective

This course aims at imparting in-depth knowledge of modelling languages for software-intensive systems. The course will also impart methodological skills for using models to analyse, develop, test and simulate software systems.

Teaching Staff

• Fabrizio Maria Maggi - UML Class and Sequence Diagrams, Class Design, Use Cases
• Vesal Vojdani - State modelling, Formal Specification, TLA+