Achtung:

Sie haben Javascript deaktiviert!
Sie haben versucht eine Funktion zu nutzen, die nur mit Javascript möglich ist. Um sämtliche Funktionalitäten unserer Internetseite zu nutzen, aktivieren Sie bitte Javascript in Ihrem Browser.

Info-Icon Diese Seite ist nicht in Deutsch verfügbar

Jan Haltermann, Manuel Töws, Felix Pauck, Cedric Richter, Heike Wehrheim, Jürgen König, Arnab Sharma, Steffen Beringer, Oleksandra Koslova, Elisabeth Schlatt (left to right)

Proseminar: Ausgewählte Themen der Software Verifikation

Dozentin: Prof. Dr. Heike Wehrheim
Organisator: Jürgen König

Die Veranstaltung wird über PANDA organisiert. Dementsprechend sind alle aktuellen Informationen in PANDA zu finden.
Die Anmeldung zur Veranstaltung findet über PAUL statt. Wer in PAUL angemeldet ist wird automatisch auch im PANDA für die Veranstaltung angemeldet.

Inhalte

Im Rahmen des Proseminars werden wir uns mit verschiedenen Software Verifikations Verfahren auseinander setzen. Studierende sollen sich nicht nur mit den zu Grunde liegenden Konzepten eines Verfahrens beschäftigen, sondern dieses anderen an Beispielen verständlich machen.

Zudem wird im Proseminar besonders darauf geachtet, dass die von den Teilnehmern erarbeiteten Inhalte angemessen präsentiert und dokumentiert werden.

Organisation

  • Material: siehe Panda (Folien, Ausarbeitungs-Template, ...)
  • Hörerkreis: Bachelor Informatik (2. Studienabschnitt)
  • Vorbesprechung (online): siehe "Einführung Proseminar" in PANDA
  • Prüfungsanmeldung
    • Notwendige Anmeldung zur Prüfung nur während der ersten Prüfungsanmeldephase (Mo, 09.11. - 03.12.2020) möglich.
  • Voraussetzungen um zu bestehen
    • Vortrag (20 Minuten) + Diskussion,
    • Schriftliche Ausarbeitung (5-8 Seiten),
    • Aktive Teilnahme an den Diskussionen,
    • Begutachtung der Ausarbeitung eines anderen Teilnehmers,
    • Einhaltung aller Termine.
  • Notenzusammensetzung
    • Vortrag 45%,
    • Ausarbeitung 45%,
    • Mitarbeit 5%,
    • Review 5%.
Kontakt

Prof. Dr. Heike Wehrheim

Spezifikation und Modellierung von Softwaresystemen

Heike Wehrheim
Telefon:
+49 5251 60-4331
Büro:
O4.225
Web:

Jürgen König

Spezifikation und Modellierung von Softwaresystemen

Jürgen König
Telefon:
+49 5251 60-1715
Büro:
O4.134
Web:

Felix Pauck

Spezifikation und Modellierung von Softwaresystemen

Felix Pauck
Telefon:
+49 5251 60-1765
Fax:
+49 5251 60-3993
Büro:
O4.122
Web:

Sprechzeiten:

Verfügbarkeit (Arbeitszeit):
Montag - Freitag
07:00 bis ~15:30

Die Universität der Informationsgesellschaft