Oberseminar Softwaretechnik und Programmiersprachen
Oberserminar Softwaretechnik und Programmiersprachen
Ort, Zeit
Seminar: Dienstag 16 - 18, SR 1.29
Vorträge
| Datum | Name | Thema des Vortrtages |
|---|---|---|
| 10. April 2007 | Dipl.-Inform. Dirk Richter | Programmanalysen zur Verbesserung der Verifikation von Software |
| 1. Mai 2007 | Feiertag | |
| 8. Mai 2007 | Industrietag | |
| 22.Mai 2007 | Dipl.-Inform. Andreas Both | Verifikation von Komponentensystemen mit Process Rewrite Systems (PRS) |
| 29. Mai 2007 | David Willing | AWL - XML Einführung in seine Diplomarbeit |
| 26. Juni 2007 | Stefan Schwarzbach, Thomas Andreas, Daniel Hampf | Stand der Projektarbeit: Übungsplattform des Instituts für Informatik |
| 03. Juli 2007 | Johannes Enghardt | Vorstellung Diplomarbeit |