Humboldt-Universität zu Berlin - Mathematisch-Naturwissenschaftliche Fakultät - Softwaretechnik

Dissertationen und Habilitationen (abgeschlossen)



  • Kay Schützler: Ein werkzeuggestützter Prozess zur Evaluierung der Qualität von Softwarearchitekturen für hardwaresteuernde Softwaresysteme, Februar 2007
  • Frank Werner Lammermann: Dimensionierung quantitativer Abbruchkriterien für den evolutionären Strukurtest mit Hilfe von Software-Maßen, Dissertation, Dezember 2005
  • Dr. Frank Müller: Efficient analysis of temporal properties for real-time systems, Habilitation, Mai 2001
  • Joachim Jens Wegener: Evolutionärer Test des Zeitverhaltens von Realzeit-Systemen, Dissertation, Mai 2001
  • Dragan Macos: Implementation funktionaler Programmiersprachen durch Quelltexttransformation, Dissertation, Juli 1998