Dies sind die archivierten Webseiten des Lehrstuhls für Programmierung und Softwaretechnik (PST).
Die Seiten des Software and Computational Systems Lab (SoSy) finden Sie auf https://www.sosy-lab.org/.

Oberseminar

Oberseminar zu Methoden und Theorie der Software-Entwicklung

Prof. Dr. Martin Wirsing, 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.