Correct-by-Construction Software Engineering - Einzelansicht

Veranstaltungsart	Vorlesung/Übung	Veranstaltungsnummer
SWS	4	Semester	WiSe 2024/25
Einrichtung	Institut für Informatik und Computational Science	Sprache	deutsch
Belegungsfrist	01.10.2024 - 10.11.2024

Gruppe 1:

Vormerken: Zur Zeit keine Belegung möglich

		Tag	Zeit	Rhythmus	Dauer	Raum	Lehrperson	Ausfall-/Ausweichtermine	Max. Teilnehmer/-innen
	Vorlesung	Di	12:00 bis 14:00	wöchentlich	15.10.2024 bis 04.02.2025	2.70.0.10	Dr. Frank , Prof. Dr. Lamprecht	24.12.2024: Akademische Weihnachtsferien 31.12.2024: Akademische Weihnachtsferien
	Übung	Di	14:00 bis 16:00	wöchentlich	15.10.2024 bis 04.02.2025	2.70.0.10	Dr. Frank , Prof. Dr. Lamprecht	24.12.2024: Akademische Weihnachtsferien 31.12.2024: Akademische Weihnachtsferien

Voraussetzungen	Wichtig sind zumindest grundliegende Kenntnisse in der Programmiersprache C sowie Logik. Hilfreich, aber nicht notwendig, sind Kenntnisse in funktionaler Programmierung (z.B. OCaml) und/oder Rocq (Coq).
Zielgruppe	Studierende mit Interesse an der Formalisierung, Verifikation und Synthese von Software wie beispielsweise Treibern.

Voraussetzungen

Wichtig sind zumindest grundliegende Kenntnisse in der Programmiersprache C sowie Logik.

Hilfreich, aber nicht notwendig, sind Kenntnisse in funktionaler Programmierung (z.B. OCaml) und/oder Rocq (Coq).

Zielgruppe

Studierende mit Interesse an der Formalisierung, Verifikation und Synthese von Software wie beispielsweise Treibern.

Strukturbaum

Die Veranstaltung wurde 3 mal im Vorlesungsverzeichnis WiSe 2024/25 gefunden:

Vorlesungsverzeichnis

Mathematisch-Naturwissenschaftliche Fakultät

Institut für Informatik und Computational Science

Master of Science

Computational Science (Prüfungsversion ab WiSe 2019/20)

III. Vertiefungsmodule Informatik

INF-8091 - Advanced Topics in Computer Science II - - - 1

INF-8090 - Advanced Topics in Computer Science I - - - 2

INF-8040 - Formale Methoden im Software Engineering - - - 3