Forschung
Prof. Dr. Rolf Hennicker
Forschungsgebiete:
- Formale Methoden der Software-Entwicklung
- Komponenten-basierte Software-Entwicklung
- Objektorientiertes Software-Engineering
- Algebraische Spezifikationen
- Umweltsimulationssysteme
Dies sind die archivierten Webseiten des Lehrstuhls für Programmierung und Softwaretechnik (PST).
Die Seiten des Software and Computational Systems Lab (SoSy) finden Sie auf https://www.sosy-lab.org/.