| Department of Computing Science |
6 KP |
|
| Module components |
Semester courses Sommersemester 2022 |
Examination |
|
Lecture
|
-
2.01.410 - Formale Methoden
- Prof. Dr. Heike Wehrheim
- Lara Bargmann
Wednesday: 14:15 - 15:45, fortnightly (from 27/04/22), VL
Wednesday: 14:15 - 15:45, fortnightly (from 20/04/22), Ü
Thursday: 14:15 - 15:45, weekly (from 21/04/22), VL
|
|
|
Exercises
|
-
2.01.410 - Formale Methoden
- Prof. Dr. Heike Wehrheim
- Lara Bargmann
Wednesday: 14:15 - 15:45, fortnightly (from 27/04/22), VL
Wednesday: 14:15 - 15:45, fortnightly (from 20/04/22), Ü
Thursday: 14:15 - 15:45, weekly (from 21/04/22), VL
|
|
|
Notes for the module |
| Reference text |
Useful previous knowledge: Course Logic
|
| Time of examination |
Weekly assignments, oral examination at the end |
| Module examination |
Portfolio |
| Skills to be acquired in this module |
Formal methods are mathematically well-defined languages for the modelling of systems. The students get to know different formal methods and learn about their usage for the modelling and analysis of systems. For a given task, they choose adequate formalisms and their corresponding analysis technique, apply these and interpret the outcome of the analysis.
** Professional competence**
The students: - apply mathematical formalisms to the modelling of systems,- choose an adequate modelling formalism for some given task,
- formally specify systems,- choose suitable analysis techniques,- interpret results of analysis runs.
** Methodogical competence**
The students:
- ca rry out formal correctness proofs,- employ analysis tools,
- define the semantics of formal specification languages.
**Social competence**
The students: - work in groups on tasks and explain solutions to each other,
- discuss the advantages and disadvantages of modelling formalisms.
** Self-competence**
The students:
- organise themselves for the work in the module. |
|
