Oberseminar
Oberseminar zu Methoden und Theorie der Software-Entwicklung
Prof. Dr. Martin Wirsing, Prof. Dr. Fred Kröger (em.), Prof. Dr. Rolf Hennicker, Prof. Dr. Christian Prehofer, Prof. Mirco Tribastone, Ph.D
(wenn nicht anders angegeben)
Anmeldung und Hinweise zum Vortrag: Siehe unten.
Inhalt:
- 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.
All talks need to be given in English. (Ausnahme: Studenten, deren Muttersprache nicht Deutsch ist, können zwischen Englisch und Deutsch wählen.)
Oberseminare im Wintersemester 11/12
Vortragstermine für Studenten
- Dienstag, 20. März, 2012
- Dienstag, 24. April, 2012
- Dienstag, 15. Mai, 2012
- ...hier.
Bitte senden Sie eine Mail an Max Tschaikowski 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.
- All talks need to be given in English. Please prepare the slides in English as well. (Ausnahme: Studenten, deren Muttersprache nicht Deutsch ist, können zwischen Englisch und Deutsch wählen.)
- 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: 5 Minuten Kurzvortrag + 5 Minuten Diskussion - Maximal 3 Folien
- Bachelorarbeiten: 15 Minuten Vortrag + 5 Minuten Diskussion.
- Masterarbeiten/Diplomarbeiten: 25 Minuten Vortrag + 5 Minuten Diskussion.
- Bitte zum angekündigten Beginn des Oberseminars anwesend sein.
