Arvutiteaduse instituut
  1. Kursused
  2. 2018/19 sügis
  3. Süsteemide modelleerimine (MTAT.03.083)
EN
Logi sisse

Süsteemide modelleerimine 2018/19 sügis

Home
Lectures
Practicals
Assessment

Submit
Extra credit

Message Board
Readings

Systems Modelling

Note. If you click on a link and you're asked for a password, don't panic: It just means that the corresponding file has not yet been uploaded. Lecture slides will be uploaded the day before each lecture.

Lectures

  • 04.09 - Introduction and Domain Modelling (L. García Bañuelos)
    • Slides
  • 11.09 - No Lecture. Autonomous Study: Java
    • Material
  • 18.09 - Domain Modelling (F.M. Maggi)
    • Slides
  • 25.09 - Domain Modelling (F.M. Maggi)
    • Slides
  • 02.10 - Domain Modelling (F.M. Maggi)
    • Slides
  • 09.10 - Use Cases (F.M. Maggi)
    • Slides
    • Template and example
  • 16.10 - Sequence Diagrams (F.M. Maggi)
    • Slides
  • 23.10 - Design Patterns, Application Modelling & Code Generation (F.M. Maggi)
    • Slides
    • download exercise
  • 30.10 - State Modelling (M. Dumas)
    • Slides (in PPT)
    • Video recording
  • 06.11 - State Modelling (M. Dumas)
    • Slides (in PPT)
    • Video recording
  • 13.11 - State Modelling for Testing (V. Vojdani)
    • Slides? (to appear), Lamport video.
  • 20.11 - TLA+ (V. Vojdani)
    • Slides (Wayne Ch5, code).
  • 27.11 - TLA+ (V. Vojdani)
    • Slides (Wayne Ch6, exercises/code)
  • 04.12 - TLA+ (V. Vojdani)
    • exercises/code
  • 11.12 - Exam Preparation
    • Last year's exams: Variant A and Variant B
  • Arvutiteaduse instituut
  • Loodus- ja täppisteaduste valdkond
  • Tartu Ülikool
Tehniliste probleemide või küsimuste korral kirjuta:

Kursuse sisu ja korralduslike küsimustega pöörduge kursuse korraldajate poole.
Õppematerjalide varalised autoriõigused kuuluvad Tartu Ülikoolile. Õppematerjalide kasutamine on lubatud autoriõiguse seaduses ettenähtud teose vaba kasutamise eesmärkidel ja tingimustel. Õppematerjalide kasutamisel on kasutaja kohustatud viitama õppematerjalide autorile.
Õppematerjalide kasutamine muudel eesmärkidel on lubatud ainult Tartu Ülikooli eelneval kirjalikul nõusolekul.
Tartu Ülikooli arvutiteaduse instituudi kursuste läbiviimist toetavad järgmised programmid:
euroopa sotsiaalfondi logo