Eberhard Karls Universität, Tübingen      
Wilhelm-Schickard-Institut Schickard-Maschine
         
         
         
viewable with any
browser
     

Programmiersprachen und Übersetzer

Forschung

Wir studieren theoretische und praktische Aspekte der Programmierung. Themen sind: Algebraische Spezifikation, Semantik, Verifikation, Entwurf und Implementierung von Programmiersprachen, Software Engineering, Programmiermethodik, Programmierumgebungen und Programmierwerkzeuge.

Laufende Projekte sind:

Click here for an English version of this text.


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

Prof. Herbert Klaeren

Anbieterkennung Last modified: Mon Mar 24 19:47:01 MET 2014