inf481 - Software Analysis
Module label | Software Analysis |
Modulkürzel | inf481 |
Credit points | 6.0 KP |
Workload | 180 h |
Institute directory | Department of Computing Science |
Verwendbarkeit des Moduls |
|
Zuständige Personen |
|
Prerequisites | Useful previous knowledge: Programming, Logic |
Skills to be acquired in this module | Software analyses extract facts about programs from source code. Such facts can be employed by compilers to optimize programs during compilation, but can also be used to verify correctness of programs. The students get to know different analysis methods, specify such techniques themselves and implement them.
|
Module contents |
|
Literaturempfehlungen |
|
Links | |
Language of instruction | English |
Duration (semesters) | 1 Semester |
Module frequency | every summer term |
Module capacity | unlimited |
Teaching/Learning method | V + Ü |
Previous knowledge | Useful previous knowledge: Programming, Logic |
Lehrveranstaltungsform | Comment | SWS | Frequency | Workload of compulsory attendance |
---|---|---|---|---|
Lecture | 2 | SoSe | 28 | |
Exercises | 2 | SoSe | 28 | |
Präsenzzeit Modul insgesamt | 56 h |
Examination | Prüfungszeiten | Type of examination |
---|---|---|
Final exam of module | Weekly homework assignments, lab assignments in a block, oral examination at the end |
Written or oral Exam |