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/.

Forschung

Prof. Dr. Martin Wirsing

 

  • Software-Entwicklung unter Einbeziehung formaler Methoden 
  • Systematische Entwicklung  adaptiver dienst-orientierter Systeme 
  • Autonome  selbst-wahrnehmende Systeme
  • Objekt- und dienst-orientierte Programmierung
  • Algebraische Spezifikationstechniken
  • Semantik von Spezifikations- und Programmiersprachen 
  • Softwaretechniken für Web- und Hypermedia-Anwendungen