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

Im Oberseminar finden hauptsächlich wissenschaftliche Vorträge von Doktoranden und eingeladenen Gästen statt. Darüber hinaus gibt es einzelne Termine für die Präsentation von studentischen Arbeiten - Bachelor-, Projekt-, Master- und Diplomarbeiten.

• Dienstag, 26. Januar 2010 (belegt)
• Dienstag, 02. Februar 2010 (belegt)
  
• Dienstag, 16. Februar 2010 (belegt)
• Dienstag, 16. März 2010
  
• Dienstag, 27. April 2010
• Dienstag, 25. Mai 2010
• Dienstag, 22. Juni 2010
• Dienstag, 20. Juli 2010
  

• ...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 (aus obiger Liste!)
• 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.
• Projektarbeiten/Bachelorarbeiten: 5-10 Minuten (Kurzvortrag) - Maximal 2 Folien
• Masterarbeiten/Diplomarbeiten: 15-20 Minuten.
  
• Bitte zum angekündigten Beginn des Oberseminars anwesend sein.