-
Info
Oberseminar
Oberseminar zu Methoden und Theorie der Software-Entwicklung
Prof. Dr. Dirk Beyer, Prof. Dr. Rolf Hennicker
Termin: Dienstag, 14 Uhr c.t., Raum 061, Oettingenstr. 67
Anmeldung und Hinweise zum Vortrag: Siehe unten.
Inhalt:
- Softwareentwicklung unter Einbeziehung formaler Methoden
- Softwaretechniken für autonome Komponenten
- Algebraische und temporal-logische Spezifikations- und Verifikationstechniken
- Objektorientierte und parallele Programmierung
- Semantik von Spezifikations- und Programmiersprachen
- Anwendungssicherheit und Modellierung
Organisation
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- und Masterarbeiten.
All talks need to be given in English. (Ausnahme: Studenten, deren Muttersprache nicht Deutsch ist, können zwischen Englisch und Deutsch wählen.)
Vortragstermine
- Weitere Termine auf Anfrage
Zu den älteren Oberseminaren
Anmeldungen zum Oberseminar für Studenten
Bitte senden Sie eine Mail an Annabelle Klarl mit folgendem Inhalt:
- Ihrem Namen
- Name des Betreuers
- Name des Themas
- Art der Arbeit (Projektarbeit / Bachelorarbeit / Diplomarbeit / Masterarbeit)
- Zusammenfassung des Themas - kann bis spätestens zwei Wochen vor dem Oberseminar nachgereicht werden
- Wunschtermin aus obiger Liste
- Sie erhalten dann eine Email bezüglich näherer Planung.
Hinweise zu den Vorträgen (s. auch Seite über Abschlussarbeiten)
- 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 Monitor oder Beamer 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.