Winter Term 2013/14 Software Development...

Software Test and Analysis (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.


Lecturer: Prof. Dr. F. Saglietti


Thursday14:15–15:45Room 0.154-115

Course Material

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



Monday12:15–13:45Room 0.151-115 Lecturer: Dipl.-Inf. M. Spisländer
Tuesday10:15–11:45Room 00.151-113 Lecturer: Dr. Maria Bonner

Exercise Sheets

Sheet 1 Sheet 2  Sheet 3  Sheet 4 
Sheet 5 Sheet 6  Sheet 7  Sheet 8 
Sheet 9 Sheet 10  Sheet 11