The main aim of this module is to apply formal programming language based techniques for the construction and verification of computer programs.
Special emphasis will be made on techniques outside mainstream programming in the imperative object oriented programming style, and verification using unit testing.
The students are able to:
The functional programming language Haskell will be used as a basis whenever appropriate.
Testataufgaben während des Semesters
Additional topics will be covered, depending on student interest and the time available in the current semester. Here are some examples of such topics covered in the past:
(Durchführung gemäss Stundenplan)