These are the archived web pages of the Programming and Software Engineering Group (PST).
The web pages of the Software and Computational Systems Lab (SoSy) can be found on


Prof. Dr. Martin Wirsing


  • Software Development using Formal Methods
  • Systematic Development of Adaptive Service-Oriented Systems
  • Autonomous Self-Aware Systems
  • Algebraic Specification Techniques
  • Semantics of Specification and Programming Languages
  • Software Engineering of Web and Hypermedia Applications