Duration:
2 Semester | Turnus of offer:
each year, can be started in winter or summer semester | Credit points:
12 |
Course of studies, specific field and terms: - Master Computer Science 2019 (compulsory), Canonical Specialization SSE, Arbitrary semester
- Master MES 2020 (advanced module), computer science / electrical engineering, Arbitrary semester
- Master Entrepreneurship in Digital Technologies 2020 (advanced module), technology field computer science, Arbitrary semester
- Master Computer Science 2019 (optional subject), advanced module, Arbitrary semester
- Master Computer Science 2014 (compulsory), specialization field software systems engineering, 1st and 2nd semester
- Master MES 2014 (advanced module), computer science / electrical engineering, 1st and 2nd semester
- Master Entrepreneurship in Digital Technologies 2014 (advanced module), technology field computer science, 2nd and 3rd semester
- Master Computer Science 2014 (advanced module), advanced curriculum, 2nd and 3rd semester
|
Classes and lectures: - CS4139 T: Runtime Verification and Testing (lecture with exercises, 4 SWS)
- CS5220 T: Static Analysis (lecture with exercises, 4 SWS)
- CS4138 T: Model Checking (lecture with exercises, 4 SWS)
| Workload: - 120 Hours in-classroom work
- 30 Hours exam preparation
- 210 Hours private studies
| |
|
Qualification-goals/Competencies: - The students can relate different approaches to software verification.
- For further competencies see module parts
|
Grading through: |
Responsible for this module: Teachers: |
Literature: |
Language: - German and English skills required
|
Notes:(The module consists of CS4138 T, CS4139 T and CS5220 T) 2 of the 3 module parts must be chosen. Prerequisites for attending the module: - None Prerequisites for the exam: - depending on the module parts |
Letzte Änderung: 5.8.2021 |
für die Ukraine