MLU
Übersicht aller Veranstaltungen eines Studienbereichs
Alle Veranstaltungen, die dem Studienbereich:
Naturwissenschaftliche Fakultät III - Agrarwiss., Geowiss. und Informatik > Informatik > Institut für Informatik > Themen > Formale-Verifikation
zugeordnet wurden.
SoSe 2024
Übung: Komponenten- und Serviceorientierte Software Übung 1
Mo. 10:15 - 11:45 (wöchentlich)
(Dr. Mandy Weißbach)
Vorlesung: Komponenten- und Serviceorientierte Software Vorlesung
Fr. 12:15 - 13:45 (wöchentlich), Ort: Hörsaal 3.28 [VSP 1], Hörsaal 1.2 ... (mehr)
(Dr. Mandy Weißbach)
SoSe 2023
Übung: Komponenten- und Serviceorientierte Software (Übung)
Mo. 08:15 - 09:45 (wöchentlich), Ort: Seminarraum 1.03 [VSP 1] (Informatik), ... (mehr)
(Dr. Mandy Weißbach)
Vorlesung: Komponenten- und Serviceorientierte Software Vorlesung
Fr. 12:15 - 13:45 (wöchentlich), Ort: Hörsaal 3.28 [VSP 1], Termine am Freitag, ... (mehr)
(Dr. Mandy Weißbach)
SS 2022
Übung: Komponenten- und Serviceorientierte Software (Übung 1)
Mo. 08:15 - 09:45 (wöchentlich), Ort: PC-Pool (3.34) [VSP 1], Mo. 08:15 - 09:45 (wöchentlich), ... (mehr)
(Dr. Mandy Weißbach, Prof. Dr. Wolf Zimmermann)
Übung: Komponenten- und Serviceorientierte Software (Übung 2)
Mo. 10:15 - 11:45 (wöchentlich), Ort: Seminarraum 1.02 [VSP 1] (Physik), ... (mehr)
(Dr. Mandy Weißbach, Prof. Dr. Wolf Zimmermann)
Vorlesung: Komponenten- und Serviceorientierte Software Vorlesung
Fr. 14:15 - 15:45 (wöchentlich)
(Dr. Mandy Weißbach, Prof. Dr. Wolf Zimmermann)
SS 2021
Übung: Komponenten- und Serviceorientierte Software Vorlesung
Do. 10:30 - 14:30 (wöchentlich)
(Prof. Dr. Wolf Zimmermann, Dr. Mandy Weißbach)
Vorlesung: Komponenten- und Serviceorientierte Software Vorlesung
Do. 10:30 - 14:30 (wöchentlich)
(Prof. Dr. Wolf Zimmermann, Dr. Mandy Weißbach)
WS 2020/21
andere Lehrveranstaltung: Vorbereitung für den Berufseinstieg - Alle Angebote des Career Centers der Uni Halle
(Tino Schlögl)
SS 2020
Übung: Komponenten- und Service-Orientierte Software (Übung)
Do. 12:15 - 14:45 (wöchentlich)
(Dr. Mandy Weißbach)
Vorlesung: Komponenten- und Service-Orientierte Software (Vorlesung)
Do. 10:15 - 13:45 (wöchentlich)
(Dr. Mandy Weißbach)
Vorlesung: Vorbereitung für den Berufseinstieg
(Tino Schlögl)
WS 2019/20
Vorlesung: Vorbereitung für den Berufseinstieg
(Tino Schlögl)
SS 2019
Vorlesung: Komponenten- und Serviceorientierte Software Vorlesung
Do. 10:15 - 13:45 (wöchentlich)
(Prof. Dr. Wolf Zimmermann, Dr. Mandy Weißbach, M. Sc Benjamin Saul)
Vorlesung: Vorbereitung für den Berufseinstieg
(Tino Schlögl)
SS 2018
Übung: Komponenten- und Serviceorientierte Software Übung
Do. 10:15 - 11:45 (wöchentlich)
(Dr.-Ing. Werner Gabrisch)
Vorlesung: Komponenten- und Serviceorientierte Software Vorlesung
Di. 14:15 - 15:45 (wöchentlich)
(Dr.-Ing. Werner Gabrisch)
SS 2017
Übung: Komponenten- und Serviceorientierte Software Übung
Do. 10:15 - 11:45 (wöchentlich)
(Dr.-Ing. Werner Gabrisch)
Vorlesung: Komponenten- und Serviceorientierte Software Vorlesung
Di. 14:15 - 15:45 (wöchentlich)
(Dr.-Ing. Werner Gabrisch)
SS 2016
Übung: Komponenten- und Serviceorientierte Software Übung
Do. 10:15 - 11:45 (wöchentlich)
(Dr.-Ing. Werner Gabrisch)
Vorlesung: Komponenten- und Serviceorientierte Software Vorlesung
Di. 14:15 - 15:45 (wöchentlich)
(Dr.-Ing. Werner Gabrisch)
SS 2015
Übung: Komponenten- und Serviceorientierte Software Ü
Di. 12:15 - 13:45 (wöchentlich) - Übunmg SOA, Mi. 08:15 - 09:45 (wöche ... (mehr)
(Dr.-Ing. Werner Gabrisch)
Vorlesung: Komponenten- und Serviceorientierte Software V
Di. 14:15 - 15:45 (wöchentlich)
(Dr.-Ing. Werner Gabrisch)
SS 2014
Übung: Komponenten- und Serviceorientierte Software Ü
Mi. 08:15 - 09:45 (wöchentlich)
(Dr.-Ing. Werner Gabrisch)
Vorlesung: Komponenten- und Serviceorientierte Software V
Di. 14:15 - 15:45 (wöchentlich)
(Dr.-Ing. Werner Gabrisch)
SS 2013
Vorlesung: Konstruktion sicherer Software (Vorlesung)
Mi. 16:00 - 19:00 (wöchentlich)
(Dr.-Ing. Werner Gabrisch)
WS 2012/13
Übung: Spezifikationstechniken (Übung) R2.25
Mo. 10:15 - 11:45 (wöchentlich), Mo. 10:15 - 11:45 (wöchentlich) - VSP ... (mehr)
(Dr.-Ing. Werner Gabrisch)
Vorlesung: Spezifikationstechniken R2.25
Di. 10:15 - 12:45 (wöchentlich)
(Dr.-Ing. Werner Gabrisch)
Vorlesung: Vorlesung Spezifikationstechniken (R2.25)
Di. 10:15 - 12:45 (wöchentlich)
(Dr.-Ing. Werner Gabrisch)
WS 2011/12
Vorlesung: Konstruktion sicherer Software (Vorlesung)
Di. 14:15 - 15:45 (wöchentlich), Fr. 12:15 - 13:45 (zweiwöchentlich, a ... (mehr)
(Dr.-Ing. Werner Gabrisch)
WS 2010/11
Übung: Übung Spezifikationstechniken
Mo. 12:15 - 14:45 (wöchentlich) - Übung
(Dr.-Ing. Werner Gabrisch)
Vorlesung: Vorlesung Spezifikationstechniken
Do. 12:15 - 13:45 (wöchentlich)
(Dr.-Ing. Werner Gabrisch)
WS 2009/10
Übung: Spezifikationstechniken
Mo. 14:15 - 15:45 (wöchentlich)
(Dr.-Ing. Werner Gabrisch)
Vorlesung: Vorlesung Spezifikationstechniken
Mi. 14:15 - 16:45 (wöchentlich) - Vorlesung
(Dr.-Ing. Werner Gabrisch)
WS 2008/09
Übung: Konstruktion sicherheitskritischer Software (Übung)
Di. 14:15 - 15:45 (wöchentlich) - Übung
(Dr.-Ing. Werner Gabrisch)
WS 2007/08
Übung: Konstruktion sicherheitskritischer Software (Übung)
Di. 14:15 - 15:45 (wöchentlich) - Übung
(Dr.-Ing. Werner Gabrisch)