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 https://www.sosy-lab.org/.

Thesis

Stephan Janisch

  • Behaviour and Refinement of Port-Based Components with Synchronous and Asynchronous Communication [pdf] [publications]
    PhD thesis
    , Jul 2010. 
  • FOOSE: Von Verträgen zu Programmen [pdf] [http]
    Diploma thesis, Aug 2003.

  • Transformation von UML/OCL-basierten Systemspezifikationen [pdf] [http]
    Project thesis, Jul 2002.