Modellierung, Spezifikation und Semantik

Dozent:	Prof. Dr.-Ing. Heiko Mantel
Kontakt:	teachingmais.informatik.tu-darmstadt.de
Assistent:	Tim Weißmantel (Sprechstunde siehe 1. Vorlesungsmodul)
Vorlesung:	Montags, 8:55-10:35 in S3|11 08 sowie S3|11 0012

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]

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

Information zur Klausur

Hinweis Kontaktadresse:
Bitte senden Sie Anfragen zur Klausur ausschließlich an die E-Mail Adresse teachingmais.informatik.tu-darmstadt.de.

Sollten Sie bereits Anfragen an secretarymais.informatik.tu-darmstadt.de oder contactmais.informatik.tu-darmstadt.de gestellt haben, und bisher noch keine Antwort erhalten haben, so senden Sie diese Anfragen bitte erneut an teachingmais.informatik.tu-darmstadt.de.

Klausurregeln wie auf den Vorlesungsfolien bekannt gegeben

Insbesondere:

• 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 oder blau
• Uhr (kein Handy oder Smartwatch)
• Papier wird gestellt (sowohl für Antworten als auch für Notizen)

Last modified on 16 September 2024.