Aktuelle Seite:
Vorlesung + Übung: Formale Methoden - Details

  • Detaillierte Informationen über die Veranstaltung werden angezeigt, wie z.B. die Veranstaltungsnummer, Zuordnungen, DozentInnen, TutorInnen etc. In den Detail-Informationen ist unter Aktionen das Eintragen in eine Veranstaltung möglich.

  • link-extern Weiterführende Hilfe
Sie sind nicht angemeldet.

Formale Methoden

Allgemeine Informationen

Semester WS 2018/19
Heimat-Einrichtung Softwaretechnik
Veranstaltungstyp Vorlesung + Übung in der Kategorie Lehre
Erster Termin Di , 23.10.2018 10:00 - 14:00, Ort: (1055 N)
Hauptunterrichtssprache deutsch
ECTS-Punkte 6

Lehrende

Zeiten

Dienstag: 10:00 - 14:00, wöchentlich (ab 23.10.2018)

Veranstaltungsort

(1055 N)

Studienbereiche

Kommentar/Beschreibung

In der Vorlesung werden Grundlagen für die Entwicklung beweisbar korrekter Software mit Hilfe des Theorembeweisers KIV vorgestellt. Die Übungen wenden diese Grundlagen auf eine Vielzahl von Spezifikations- und Verifikationsaufgaben an.

Anmelderegeln

Diese Veranstaltung gehört zum Anmeldeset "Master Software Engineering".
Folgende Regeln gelten für die Anmeldung:
  • Folgende Bedingung muss zur Anmeldung erfüllt sein:
    Studienfach ist Software Engineering

Teilnehmerzahlen

Aktuelle Anzahl der Teilnehmenden 13
erwartete Teilnehmeranzahl 20