Wilhelm-Schickard-Institut

Prof. Dr. Herbert Klaeren

Lehre

Der Lehrstuhl für Programmiersprachen und Übersetzer beschäftigt sich mit den theoretischen und praktischen Aspekten der Programmierung sowohl auf der Systemseite als auch auf der Anwenderseite. Auf der Systemseite gehört hierzu die formale Beschreibung der Syntax und Semantik von Programmiersprachen und der Übersetzerbau (Compilerbau), auf der Anwenderseite Spezifikationstechniken, Softwaretechnik (Software Engineering), Programmiersprachen, Programmiermethodik, Verifikation, Programmierumgebungen und Programmierwerkzeuge. Besonderes Gewicht wird darauf gelegt, daß die erlernten Techniken intensiv geübt werden.

Die Angaben zu den Vorlesungen befinden sich sämtlich im LSF-System. An dieser Stelle werden nur die Verweise auf Homepages der aktuell laufenden Vorlesungen zusammengetragen.

• Compilerbau-Praktikum
• Softwaretechnik
• Software Engineering
• Software-Verifikation mit interaktiven Theorembeweisern
• Oberseminar Programmierung

Adresse

Prof. Dr. Herbert Klaeren

Universität Tübingen

Wilhelm-Schickard-Institut für Informatik

Sand 13

D-72076 Tübingen

Germany

Fon:

+49 7071 29-78955

Fax:

+49 7071 29-5082