Oberseminar zu Methoden und Theorie der Software-Entwicklung

Prof. Dr. Fred Kröger, Prof. Dr. Martin Wirsing, Prof. Dr. Rolf Hennicker, Prof. Dr. Alexander Knapp

Anmeldung und Hinweise zum Vortrag: Siehe unten.

• Software-Entwicklung unter Einbeziehung formaler Methoden
• Softwaretechniken für multimediale Anwendungen
• Algebraische und temporal-logische Spezifikations- und Verifikationstechniken
• Objekt-orientierte und parallele Programmierung
• Constraint-Programmierung
• Semantik von Spezifikations- und Programmiersprachen
• CASE- und internet-basierte Lehr-Werkzeuge

• Wintersemester 2008/2009
  

• ...hier.
  

• Bitte senden Sie eine Mail an Philip Mayer mit folgendem Inhalt:
• Ihrem Namen
  
• Name des Betreuers
• Name des Themas
• Art der Arbeit (Projektarbeit / Bachelorarbeit / Diplomarbeit / Masterarbeit)
  
• Zusammenfassung des Themas (80-120 Worte)
• Wunschtermin (wird, wenn möglich, berücksichtigt. Bitte vorher mit (externem) Betreuer abstimmen)

• Sie erhalten dann eine Email bezüglich näherer Planung.

• Ein Beamer sowie Whiteboard ist in jedem Vortragsraum vorhanden.
  
• Notebook mit Folien bitte selbst mitbringen und vorher (!) mit einem externen Bildschirm testen. Falls nicht vorhanden, Betreuer kontaktieren für Leihnotebook.
  
• Dauer der Vorträge:
  
• Diplomarbeiten 30 Min (inklusive Diskussion, d.h. der Vortrag sollte 20-25 Minuten dauern).
• Projektarbeiten 20 Min (inklusive Diskussion, d.h. der Vortrag sollte ca. 15 Minuten dauern).
• Bitte zum angekündigten Beginn des Oberseminars anwesend sein.