Startseite

Im Zeitraum vom 27.04. - 04.05.2026 erfolgt eine Datenmigration der Studierendendaten und die Inbetriebnahme der STU-Funktionen von HISinOne. In diesem Zeitraum stehen HISinOne, AGNES sowie die HIS-GX-Systeme nicht zur Verfügung. Die Prüfungsbüros haben in diesem Zeitraum ebenfalls keinen Zugriff auf Studierenden- sowie Leistungsdaten und können daher keine Leistungsübersichten ausstellen bzw. nur eingeschränkt Auskünfte erteilen.
Bitte beachten Sie auch die Störungsseite des CMS.

Sichere und Zuverlässige Softwaresysteme - Detailseite

Funktionen:
belegen/abmelden

Seiteninhalt:
Grunddaten
Termine
Zugeordnete Personen
Studiengänge
Einrichtungen
Inhalt
Strukturbaum

Grunddaten
Veranstaltungsart	Übung	Veranstaltungsnummer	3313067
Semester	SoSe 2026	SWS	1
Rhythmus		Moodle-Link
Veranstaltungsstatus	Freigegeben für Vorlesungsverzeichnis Freigegeben	Sprache	deutsch
Belegungsfristen - Eine Belegung ist online erforderlich	Zentrale Frist 01.02.2026 - 08.04.2026
	Zentrale Nachfrist 13.04.2026 - 16.04.2026
	Zentrale Abmeldefrist 01.02.2026 - 30.09.2026 aktuell
Veranstaltungsformat	Keine Angabe

Termine

Gruppe 1
Tag	Zeit	Rhythmus	Dauer	Raum	Gebäude	Raum- plan	Lehrperson	Status	Bemerkung	fällt aus am	Max. Teilnehmer/-innen
Do.	11:00 bis 13:00	14tgl./2		0313 (Hörsaal) Stockwerk: EG	Erwin-Schrödinger-Zentrum / Modul 1 - Rudower Chaussee 26 (RUD 26)		Reichmann	findet statt			50

Gruppe 1:

auswählen

jetzt belegen / abmelden

Zugeordnete Personen
Zugeordnete Personen	Zuständigkeit
Grunske, Lars , Prof. Dr.
Reichmann, Eik

Studiengänge
Abschluss	Studiengang	Semester
Master of Education (BS)	Informatik 2. Fach ( Vertiefung: mit LA-Option; POVersion: 2015 )	-
Master of Education (ESG)	Informatik Hauptfach ( Vertiefung: mit LA-Option; POVersion: 2025 )	-
Master of Education (ISG)	Informatik 1. Fach ( Vertiefung: mit LA-Option; POVersion: 2018 )	-
Master of Education (ISG)	Informatik 2. Fach ( Vertiefung: mit LA-Option; POVersion: 2018 )	-
Master of Science	Informatik Hauptfach ( Vertiefung: kein LA; POVersion: 2015 )	-
Master of Science	Wirtschaftsinformatik Hauptfach ( Vertiefung: kein LA; POVersion: 2016 )	-
Programmstud.-o.Abl.	Chemie Programm ( POVersion: 1999 )	-
Programmstud.-o.Abl.	Geographie Programm ( POVersion: 1999 )	-
Programmstud.-o.Abl.	Informatik Programm ( POVersion: 1999 )	-
Programmstud.-o.Abl.	Mathematik Programm ( POVersion: 1999 )	-
Programmstud.-o.Abl.	Physik Programm ( POVersion: 1999 )	-
Programmstud.-o.Abl.MA	Chemie Programm ( POVersion: 1999 )	-
Programmstud.-o.Abl.MA	Geographie Programm ( POVersion: 1999 )	-
Programmstud.-o.Abl.MA	Global Change Geography Programm ( POVersion: 1999 )	-
Programmstud.-o.Abl.MA	Informatik Programm ( POVersion: 1999 )	-
Programmstud.-o.Abl.MA	Mathematik Programm ( POVersion: 1999 )	-
Programmstud.-o.Abl.MA	Optical Sciences Programm ( POVersion: 1999 )	-
Programmstud.-o.Abl.MA	Physik Programm ( POVersion: 1999 )	-
Programmstud.-o.Abl.MA	Polymer Science Programm ( POVersion: 1999 )	-
Programmstud.-o.Abl.MA	Urbane Geographien Programm ( POVersion: 1999 )	-
Programmstud.-o.Abl.Prom.	Informatik Programm ( POVersion: 1999 )	-

Zuordnung zu Einrichtungen
Einrichtung
Mathematisch-Naturwissenschaftliche Fakultät, Institut für Informatik

Inhalt
Kommentar	Übung zur gleichnamigen Vorlesung
Bemerkung	In der Veranstaltung werden grundlegende Prinzipien und Techniken vermittelt um die Zuverlässigkeit von Softwaresystemen zu verbessern und/oder zu garantieren. Der spezielle Inhalt der Vorlesung sind Notationen und Verfahren zum Sicherheits- Performanz- und Zuverlässigkeitsnachweis und Verfahren zur Erstellung von sicheren und zuverlässigen Systemen.

Strukturbaum

Die Veranstaltung wurde 1 mal im Vorlesungsverzeichnis SoSe 2026 gefunden: