Vorlesungsverzeichnis
Übersicht > FB20 - Informatik > Wahlbereiche > Software Systeme und formale Grundlagen
Veranstaltungen / Module
|
Veranstaltung / Modul Dozenten / Modulverantwortliche Zeitraum |
Veranstaltungsart Raum |
|||
|---|---|---|---|---|
|
18-su-2010-ue E-LEARNING:Software-Engineering - Wartung und Qualitätssicherung Prof. Dr. rer. nat. Andreas Schürr; M.Sc. Isabelle Bacher Do, 15. Apr. 2021 [14:25] - Do, 15. Jul. 2021 [15:10] |
Übung | |||
|
18-su-2010-vl E-LEARNING:Software-Engineering - Wartung und Qualitätssicherung Prof. Dr. rer. nat. Andreas Schürr; M.Sc. Isabelle Bacher Mo, 12. Apr. 2021 [09:50] - Do, 15. Jul. 2021 [14:15] |
Vorlesung | |||
|
20-00-0113-iv Algorithmische Modellierung / Grundlagen des Operations Research Prof. Dr. rer. nat. Karsten Weihe Mo, 12. Apr. 2021 [14:25] - Mo, 12. Jul. 2021 [17:45] |
Integrierte Veranstaltung | |||
|
20-00-0580-iv Statische und dynamische Programmanalyse Prof. Dr.-Ing. Heiko Mantel Di, 13. Apr. 2021 [09:50] - Do, 15. Jul. 2021 [09:40] |
Integrierte Veranstaltung | |||
|
20-00-0701-vl Fortgeschrittener Compilerbau Prof. Dr.-Ing. Andreas Koch |
Vorlesung | |||
|
20-00-0794-iv Formale Spezifikation und Verifikation von Software Prof. Dr. rer. nat. Reiner Hähnle Do, 15. Apr. 2021 [13:30] - Do, 15. Jul. 2021 [15:10] |
Integrierte Veranstaltung | |||
|
20-00-0953-iv Multithreading in C++ Alexander Helmut Geiß; Arya Mazaheri; Prof. Dr. rer. nat. Felix Wolf Di, 13. Apr. 2021 [09:50] - Fr, 16. Jul. 2021 [11:30] |
Integrierte Veranstaltung | |||
|
20-00-1069-iv Automatische Softwareverifikation Prof. Dr. rer. nat. Marie-Christine Jakobs Di, 13. Apr. 2021 [11:40] - Mi, 14. Jul. 2021 [15:10] |
Integrierte Veranstaltung | |||
|
20-00-1092-iv Petrinetze und deren Analyse Prof. Dr. rer. nat. Kirstin Peters Mo, 12. Apr. 2021 [11:40] - Mo, 12. Jul. 2021 [13:20] |
Integrierte Veranstaltung | |||
|
20-00-1115-vl Model Checking Dr. rer. nat. Richard Bubel Mi, 14. Apr. 2021 [09:50] - Mi, 14. Jul. 2021 [11:30] |
Vorlesung | |||
|
20-00-1117-iv Konzepte der Programmiersprachen Prof. Dr.-Ing. Ermira Mezini; Dr. rer. nat. Krishna Narasimhan Murali Mi, 21. Apr. 2021 [14:00] - Mi, 14. Jul. 2021 [15:40] |
Integrierte Veranstaltung | |||