---

Oberseminar Softwaretechnik und Programmiersprachen

Vorträge

27. April 2006: Dirk Richter: Vorstellung Diplomarbeit
dirk_richter_diplomvortragLKH.pdf (externe Datei)

04. Mai 2006: Andreas Both: Themenvorstellung Dissertation
andreas-both_dissertation-einfuehrung.pdf (externe Datei)

• 11. Mai 2006: kein Vortrag

18. Mai 2006: Marcel Schuster: Ein Werkzeug zur Verklemmungsanlyse bei der Komposition von Webservices
marcel-schuster_webservices.ppt (externe Datei)

• 25. Mai 2006: Feiertag

• 01. Juni 2006: kein Vortrag

• 08. Juni 2006: Michael Sohn: Vorstellung Diplomarbeit, Vorbereitung IT²

• 15. Juni 2006: kein Vortrag (wegen Berufungskommission)

• 22. Juni 2006: 9. (IT)², in diesem Rahmen Vortrag von Michael Sohn

22. Juni 2006: 9. (IT)², in diesem Rahmen Vortrag von Michael Sohn: Korrektheitsbegriffe für modellbasierte Codegeneratoren
michael-sohn_it2.pdf (externe Datei)

• 29. Juni 2006: Dirk Pollmächer: Vorstellung Dissertation
  Thema: "Zur korrekten Implementierung zeitbewerteter Steuerungsmodelle auf eingebetteten Systemen."

• 6. Juli 2006: Fachbereichskolloquium
  Am 6. Juli 2006   hält Herr Prof. Peter Schmitt von der Uni Karlsruhe, einen Vortrag zum Thema "Software Verification - Achievements and Limitations". Diese Veranstaltung findet um 16.15 Uhr im Hörsaal 3.31 statt.

13. Juli 2006: Heike Stephan: Vortrag über Dissertation von Daniel Moldt: "Höhere Petrinetze als Grundlage für Systemspezifikationen"
heike-stephan_petrinetze.pdf (externe Datei)

13. Juli 2006: Mathias Just: Themenvorstellung Diplomarbeit
mathias-just_diplomarbeit-einfuehrung.pdf (externe Datei)

unbekannter Termin: Dr. Werner Gabrisch: ..................

unbekannter Termin: Michael Schaarschmidt: Vorstellung Paper/Dissertation?

Zum Seitenanfang