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”
Übertragungswege: S101-A01 > S101-A03
Modellierung, Spezifikation und Semantik - Ü 01
Prof. Dr.-Ing. Heiko Mantel
Mo, 2. Nov. 2020 [13:30]-Mo, 8. Feb. 2021 [15:10]
Modellierung, Spezifikation und Semantik - Ü 02
Mo, 2. Nov. 2020 [16:15]-Mo, 8. Feb. 2021 [17:55]
Modellierung, Spezifikation und Semantik - Ü 03
Di, 3. Nov. 2020 [11:40]-Di, 9. Feb. 2021 [13:20]
Modellierung, Spezifikation und Semantik - Ü 04
Mi, 4. Nov. 2020 [16:15]-Mi, 10. Feb. 2021 [17:55]
Modellierung, Spezifikation und Semantik - Ü 05
Mi, 4. Nov. 2020 [11:40]-Mi, 10. Feb. 2021 [13:20]