After successful completion of the course, students are able to
30h lectures 30h preparation for and repetition of lectures 52h solving exercise sheets 0,5h exercise interviews 34h exam preparation 3,5h exam------------------150h (= 25h * 6ECTS)
The final evaluation is based on the performance at the exercises (evaluation of the first three exercise sheets is based on the submission, evaluation of the foruth exercise sheet also heavily depends on the performance at the meeting with the Tutor), at the computer-based SQL-test, and two written exams.
There are no formal prerequisites for this course. However, it is strongly recommended to take the course "Formal Modelling" prior to this course.