back to search

Modellierung verteilter Systeme

IN2080Cross-Cutting Elective Modules4 ECTSGermansummer semesterDepartment Computer Science

This module is taught in German, so its description is only available in German.

AI-edited module sheet. Based on the TUMonline module description, edited for readability.Original in TUMonline

What it is about

Du lernst, wie man verteilte, nebenläufige und kooperierende Softwaresysteme modelliert, beschreibt und systematisch analysiert. Am Ende kennst du zentrale Modelle und Techniken zur Spezifikation, Verfeinerung und Verifikation solcher Systeme und kannst geeignete Modellierungsansätze gezielt einsetzen.

What you will be able to do

  • Grundbegriffe nebenläufiger, verteilter und kooperierender Systeme
  • Systeme als Zustandsmaschinen modellieren
  • funktionale Beschreibung von Komponenten und Struktur-/Verteilungssichten
  • Prozesse und Ablaufmodelle verteilter Systeme verstehen
  • Verfeinerung von Spezifikationen
  • Verifikation und Korrektheitsbeweise für nebenläufige Systeme
  • Anwendung und Abgrenzung verschiedener Spezifikations- und Modellierungstechniken

What the module consists of

  • VorlesungVermittlung der Konzepte, Modelle und theoretischen Grundlagen
  • ÜbungVertiefung durch Beispiele und Aufgaben
  • Aufgaben zum SelbststudiumEigenständiges Üben und Anwenden der Techniken

Teaching method

  • VorlesungEinführung und Darstellung grundlegender Konzepte und Theorien
  • ÜbungAnwendung und Einübung der behandelten Methoden
  • Selbststudium-AufgabenVertiefung und Übung zur Festigung des Verständnisses
No dates in the current semester
There are no course dates for this module this semester, or they haven't been matched yet.

Module ratings

No ratings for this module yet.

Rate this module

Only fill in the categories you can judge – for each one, either stars and text together or nothing at all.

Lecture
Tutorial
Exam

Reviews are automatically checked before they are published.

Official page in TUMonline · Details are not binding.