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
Klausur:	20.03.2024, 8:00 - 9:30 Raumzuteilung Raum Nachname L402/1+2 A...   - Holz... S101/A1 Hor... - Ra... S206/030 Re...   - Ul... S306/051 Ut... - Z...

Hinweis Kontaktadresse:
Bitte senden Sie Anfragen zur Klausur ausschließlich an die E-Mail Adresse contactmais.informatik.tu-darmstadt.de.
Sollten Sie vor dem 8.1 eine Anfrage an secretarymais.informatik.tu-darmstadt.de gestellt haben, senden Sie diese Anfrage bitte erneut an contactmais.informatik.tu-darmstadt.de.

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
  

Last modified on 18 March 2024.