Modellierung, Spezifikation und Semantik

Dozent:	Prof. Dr.-Ing. Heiko Mantel
Assistent:	Tobias Hamann (Sprechstunde siehe Website des Assistenten)
Übungsbetreuung:	Tobias Hamann, Thomas Höhl
Vorlesung:	Freitags, 9:50-11:30, S1|01 A1
Klausur:	Klausurtermin: Freitag, 20.09.2019, 09:00-11:15 Anmeldungszeitraum: 1.5.-30.6.2019 Raumeinteilung: Nachnamen A... - Sa...: S101|A1 Nachnamen Sch... - Z...: S101|A01
Feriensprechstunden der Tutoren:	Mo      5.8.   14:00-15:00    Lukas Rothenberger    A126 Mi       7.8.   11:00-12:00    Lukas Rothenberger    A126 Di    1 3.8.    14:00-15:00   Lukas Rothenberger    A126 (verschoben!) Mo    19.8.   14:30-15:30    Nicholas Wolf         A126 Do    29.8.    11:00-12:00   Nicholas Wolf         A313 Fr     30.8.    13:30-14:30   Nicholas Wolf         A126 Mo     2.9.    10:00-11:00   Martin Edlund         A126 Mi      4.9.    10:00-11:00   Martin Edlund         A126 Do      5.9.   10:00-11:00   Martin Edlund         A126 Mi     11.9.   16:00-17:00   David Langsam         A126 Di     17.9.   10:00-11:00   David Langsam         A126 Mi     18.9.   16:00-17:00   David Langsam         A126
Sprechstunden des Assistenten vor der Klausur:	Fr   16.8.  13:30-14:30 Fr   23.8.  13:30-14:30 Mo   9.9.  13:30-14:30 Bitte senden Ihre Fragen vorab an den Assistenten!
Klausureinsicht:	Mittwoch, den 30.10.2019 im Raum S202/E202 von 16:00 - 19:00. Bitte bringen Sie ihren Studierendenausweis und einen Lichtbildausweis zur Klausureinsicht mit! Weitere Informationen zur Registrierung fuer die Einsicht finden Sie auf im D120 Forum zur Veranstaltung.
Nachholklausur im WiSe 2019/20	Klausurtermin: Mittwoch, 11.03.2020, 08:00-9:30 Raumeinteilung: Nachnamen A... - Z...: S101|A1

News

• Beginn der Vorlesung und des Übungsbetriebs: Aufgrund des Feiertags am 19.4.2019 startet die Vorlesung am 26.4.2019. Der Übungsbetrieb startet in der darauffolgenden Woche ab 29.4.2019 (KW 18).
• Die Uebung 2 (Mi 15:20) und die zugehoerige Tutorensprechstunde findet diese Woche in Raum S402/101 statt. Bitte generell eventuelle Raumaenderungen auf TUCaN beachten.
• Aufgrund von TU meet & move fallen die Übungen 2 (Mi 15:20) und 4 (Mi 17:10) und die zugehoerigen Tutorensprechstunden diese Woche aus. Die Studierenden dieser Übungsgruppen koennen in dieser Woche eine beliebige andere Übung/Tutorensprechstunde besuchen (Zeiten und Räume der Übungen und Sprechstunden sind in TUCaN gelistet).
  
• Am 3.7.2019 finden keine Kleingruppenübungen durch die Assisstenten statt. Die Tutorensprechstunde findet aber regulär statt und die Tutoren werden während der Kleingruppenzeit anwesend sein.
  
• Kleingruppe 3 (Do ab 15:20) fällt am 4.7.2019 aus. Die Studierenden dieser Übungsgruppen koennen in dieser Woche eine beliebige andere Übung/Tutorensprechstunde besuchen (Zeiten und Räume der Übungen und Sprechstunden sind in TUCaN gelistet).
• Die Klausureinsicht fuer die MoSeS Klausur vom Sommersemester 2019 findet am Mittwoch, den 30.10.2019 im Raum S202/E202 von 16:00 - 19:00 statt. Bitte registrieren Sie sich fuer einen der 30-minuetigen Slots im Moodlekurs der Veranstaltung (https://moodle.informatik.tu-darmstadt.de/course/view.php?id=616). Falls Sie nicht bereits im Kurs angemeldet sind, koennen Sie dies nach wie vor mit dem Einschreibeschluessel (= Passwort der internen Webseite das in der Vorlesung kommuniziert wurde) tun.
  
  Sollten die Slots in Moodle ausgefuellt sein, werden wir bei Bedarf weitere Slots anbieten und hinzufuegen. Dies werden wir dann hier im D120 Forum kommunizieren.
  
  Bitte bringen Sie Ihren Studierendenausweis und einen Lichtbildausweis zur Klausureinsicht mit.

Inhalt

Hier geht es zu den internen Webseiten.

Themen

Folgende Themen werden in der Vorlesung behandelt, in Klammern steht die verwendete Literatur:

• Einführung in die Modellierung [Kastens/Kleine Buening]
• Repititorium über Aussagen- und Prädikatenlogik [FGDI 2 Skript von M. Otto]
• Formale Modellierung und formale Modelle [Kastens/Kleine Buening]
• Formale Spezifikation [Kastens/Kleine Buening]
• Syntax und Semantik von Programmiersprachen [Winskel]
• Syntax und Semantik von Prozessalgebren [Hoare]

Klausurregeln

• keine Unterlagen, elektronischen Hilfsmittel, ...
• 1 beidseitig handbeschriebene DIN A4 Seite ist erlaubt
• keine Ausdrucke! keine Kopien!
• muss deutlich lesbar mit Ihrem Namen und Ihrer Matrikelnummer am oberen
  Rand auf beiden Seiten markiert sein
• mitzubringen sind
• Personalausweis oder Reisepass mit Lichtbild
• Studierendenausweis im Original
• Kugelschreiber/Füller in schwarz/blau
• Uhr (kein Handy oder Smartwatch)
• Papier wird gestellt (sowohl für Antworten als auch für Notizen)
  

In der Vorlesung verwendete Literatur

• Uwe Kastens, Hans Kleine Büning
  Modellierung - Grundlagen und formale Methoden
  Hanser, 2014, dritte Auflage
• Glynn Winskel
  The Formal Semantics of Programming Languages
  The MIT Press
  
• C. A. R. Hoare
  
  Communicating Sequential Processes
  Prentice-Hall, 1985

Die Fachschaft betreibt ein Forum zu den Lehrveranstaltungen. Das Forum zu MoSeS befindet sich hier.

Last modified on 3 March 2020.