20-00-0914-se Seminar: Formale Spezifikation und Verifikation

Lehrende: Prof. Dr.-Ing. Heiko Mantel

Veranstaltungsart: Seminar

Orga-Einheit: FB20 Informatik

Anzeige im Stundenplan: Sem.Form.Spec+Verif

Fach:

Anrechenbar für:

Semesterwochenstunden: 2

Unterrichtssprache: Englisch

Min. | Max. Teilnehmerzahl: - | -

Lehrinhalte:

• Eigenständiges Einarbeiten in ein Thema aus dem Bereich Formale Spezifikation und Verifikation anhand von bereitgestellten wissenschaftlichen Arbeiten (englischsprachig)
  
• Eigene darüber hinausgehende Literaturrecherchen, angeleitet durch Betreuer
  
• Reflektion und Einordnen der Ergebnisse der Literaturarbeit, angeleitet von Betreuer
  
• Erstellen eines Vortrags über die Thematik einschließlich Folienpräsentationen, angeleitet durch Betreuer
  
• Halten des Vortrags vor einem Publikum mit heterogenem Vorwissen
  
• Fachdiskussion basierend auf dem Vortrag
  
• Feedback an die Vortragenden zu den Vorträgen (betreffend u.a. Rhetorik, Präsentationstechnik) und zur Fachdiskussion
  

Voraussetzungen:
Informatik- und Mathematikkenntnisse entsprechend den ersten 4 Semestern des Bachelorstudiengangs Informatik, insbesondere grundlegende Logikkenntnisse und Fähigkeit mit formalen Sprachen und Kalkülen umzugehen

Erwartete Teilnehmerzahl:
20

Zusätzliche Informationen:
http://www.mais.informatik.tu-darmstadt.de/teaching