Course catalogue
Overview > Dept. 20 - Computer Science > Elective Area > Software Systems and Formal Foundations
Course offerings / Modules
|
Course offering / Module Instructors / Module Owner Time period |
Event type Room |
|||
|---|---|---|---|---|
|
18-su-2090-ue Software Product Lines – Concepts, Analysis and Implementation PD Dr. rer. nat. Malte Lochau Mon, 7. Aug. 2017 [13:00] - Tue, 15. Aug. 2017 [16:00] |
Exercise | |||
|
18-su-2090-vl Software Product Lines – Concepts, Analysis and Implementation PD Dr. rer. nat. Malte Lochau Mon, 7. Aug. 2017 [09:00] - Tue, 15. Aug. 2017 [12:00] |
Lecture | |||
|
20-00-0113-iv Algorithmic Modelling Prof. Dr. rer. nat. Karsten Weihe Th, 20. Apr. 2017 [15:20] - Th, 20. Jul. 2017 [17:00] |
Integrated Course | |||
|
20-00-0701-vl Advanced Compiler Construction Prof. Dr.-Ing. Andreas Koch Tue, 18. Apr. 2017 [16:15] - Th, 20. Jul. 2017 [13:20] |
Lecture | |||
|
20-00-0794-iv Formal Specification and Verification of Software Prof. Dr. rer. nat. Reiner Hähnle Tue, 18. Apr. 2017 [11:40] - Mon, 18. Sep. 2017 [12:40] |
Integrated Course | |||
|
20-00-0800-vl An introduction to TLA+ Prof. Dr. rer. nat. Reiner Hähnle; Dr. Tianxiang Lu Th, 20. Apr. 2017 [08:00] - Fri, 27. Oct. 2017 [19:45] |
Lecture | |||
|
20-00-0951-iv Concepts and Technologies for Distributed Systems and Big Data Processing Ph.D. Guido Salvaneschi Fri, 21. Apr. 2017 [09:50] - Fri, 21. Jul. 2017 [11:30] |
Integrated Course | |||
|
20-00-0999-iv Analyzing Software using Deep Learning Prof. Dr. Michael Pradel Mon, 24. Apr. 2017 [09:50] - Mon, 17. Jul. 2017 [11:30] |
Integrated Course | |||