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)