Winter Term 2002/03 Fault-Tolerant Softw...

Software Verification and Validation


Lectures: Di 10:00 - 12:00, Room H4
Lecturer: Prof. Dr. F. Saglietti

Content of lectures.

Course Material (pdf-format)
( * Italics indicate a preliminary version)

October, 15th 2002 December, 10th 2002
October, 22nd 2002 December, 17th 2002
October, 29th 2002 January, 7th 2003
November, 5th 2002 January, 14th 2003
November, 12th 2002 January, 21st 2003
November, 19th 2002 January, 28th 2003
November, 26th 2002 February, 4th 2003
December, 3rd 2002

Exercises in Software Verification and Validation

Thursday, 12:00-13:00   Room 0.031   Lecturer: Dr. Brigid Haworth
Friday, 9:00-10:00   Room 2.038   Lecturer: Dr. Brigid Haworth

Exercise Sheets (pdf-format)

October, 25th 2002 December, 19th & 20st 2002
November, 8th 2002 January, 9 & 10th 2003
November, 14 & 15th 2002 January, 16 & 17th 2003
November, 21st & 22nd 2002 January, 23rd & 24th 2003
November, 28 & 29th 2002 January, 30th & 31st 2003
December, 5 & 7th 2002 February, 6 & 7th 2003
December, 12 & 13th 2002

top