Modellierung, Spezifikation und Semantik

Dozent:	Prof. Dr.-Ing. Heiko Mantel
Kontakt:	teachingmais.informatik.tu-darmstadt.de
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

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