20-00-0013-iv Modellierung, Spezifikation und Semantik

Lehrende: Prof. Dr.-Ing. Heiko Mantel

Veranstaltungsart: Integrierte Veranstaltung

Orga-Einheit: FB20 Informatik

Anzeige im Stundenplan: Mod, Spez, Sem

Fach:

Anrechenbar für:

Semesterwochenstunden: 3

Unterrichtssprache: Deutsch

Min. | Max. Teilnehmerzahl: - | -

Lehrinhalte:
- Einführung in die Modellierung mit logischen und algebraischen Konzepten
- Interpretation und Adäquatheit formaler Modelle
- strukturiertes Vorgehen bei der Modellierung und Umgang mit Entwurfsentscheidungen
- Abstraktion, Verfeinerung, Komposition und Zerlegen von Modellen
- Syntax und operationale Semantik von Programmiersprachen
- elementare Beweistechniken und deren Verwendung
- Einführung in Spezifikationssprachen
- Syntax und denotationale Semantik von Spezifikationssprachen
- Modellierung von Kommunikation und Koordination in nebenläufigen Systemen
- Klassifikation von Systemeigenschaften

Literatur:
U. Kastens, H. Kleine Büning: Modellierung - Grundlagen und formale Methoden, Hanser
G. Winskel: The Formal Semantics of Programming Languages, MIT Press
C. A. R. Hoare: Communicating Sequential Processes, Prentice-Hall
Die Literaturempfehlungen werden kontinuierlich aktualisiert.

Voraussetzungen:
Empfohlen:
Fähigkeit mit formalen Sprachen und Kalkülen umzugehen und grundlegende Logikkenntnisse, z.B. durch Besuch der Pflichtveranstaltungen “Automaten, formale Sprachen und Entscheidbarkeit” und “Aussagen- und Prädikatenlogik”