Wintersemester 2008/... Fehlertolerierende S...

Software Verification and Validation Software Test and Analysis illustrated by means of real-world Applications

Content of lectures

Also for students of
Computational Engineering, Business Informatics, Information and Communication Technology, Mechatronics, Computer Linguistics, Mechanical Engineering and Industrial Engineering.


Tuesday10–12Room H4

Lecturer: Prof. Dr. F. Saglietti

Course Material

Part I Part VI Part XI
Part II Part VII Part XII
Part III Part VIII Part XIII
Part IV Part IX Part XIV
Part V Part X


We offer two identical exercise courses (starting with 21.10.2008):

Lecturers: Dipl.-Inf. M. Spisländer, Dr.-Ing. N. Oster

Exercise Sheets

Sheet 1 Sheet 6
Sheet 2 Sheet 7
Sheet 3 Sheet 8
Sheet 4
Sheet 5

Additional Material