Winter Term 2006/07 Fault-Tolerant Softw...

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.

Lecture:
Tuesday 10 - 12, Room H4
Lecturer: Dipl.-Inf. N. Oster

Course Material (pdf-Format)

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

 


 

Exercises:
Thursday 12:30 - 14:00, Room 2.037 00.153
Friday 8:30 - 10:00, Room 2.038 00.156
Lecturer: Dipl.-Inf. N. Oster, Dipl.-Inf. S. Söhnlein

Exercise Sheets (pdf-Format)

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

 

Additional material

CTL-Expressions
Computation Tree Handout

top