After successful completion of the course, students are able to explain the most important methods of formal specification and to use them for modeling situations informally described in natural language. They know the expressivity and limitations of the methods and are able to select methods suitable for the problem at hand. Moreover, students are able to read and understand mathematical notations, in particular the formal definition of the methods as used in literature.
Textual specification languagse:
Graphical specification languages:
For each of these modeling languages we discuss the following aspects:
18.0 h attendance of lecture (9 days x 2h)21.0 h 2 exercise sheets (2 x 10.5h) 8.0 h preparation for first oral exam (Abgabegespräch) 1.0 h first oral exam (Abgabegespräch) 8.0 h preparation for second oral exam (Abgabegespräch) 1.0 h second oral exam (Abgabegespräch)16.0 h preparation for final test 2.0 h final test-----------------------------------------------75.0 h = 3 Ects
The final grade is determined on the basis of the submitted exercises (in total 10 points), two oral exams (10 points each), and the written final test (50 points), giving a total of 10+2*10+50=80 points. To pass the course you need at least 25 points at the final test and at least 40 points in total. Positive grades are determined from the sum of points according to the following scale:
We offer four dates to take the final exam: in June, September, January and February (for the precise dates see the section Exams). You may take the test at most twice, with the better result superseding the worse one.