Date
Lecture
Title
Slides + Voice
in-room camera
Slides
Readings
Wed. 26.10. 1 Overview [PDF]
Mon. 31.10. 2 Software Components [Exercise PDF]
Wed. 2.11. Ex 1 Exercise: Software Disasters [PDF]
Mon. 07.11. 3 Component Quality Model and Software Quality and Designing OO Libraries [PDF]
Wed. 09.11. 4, Ex 3 Component Quality Model and Software Quality and Designing OO Libraries (cont.), Exercise: Component Evaluation [PDF]
[Exercise PDF]
Mon. 14.11. -- Tag der Lehre (no lecture)
Wed. 09.11. Ex 3 Library Design in Eiffel [Exercise PDF]
Mon. 21.11. 5 Axiomatic Semantics and Program Correctness [PDF]
Mon. 28.11. 6 Axiomatic Semantics and Program Correctness (continued)
Wed. 30.11. Pr 1 Project Description [Subject PDF][Presentation PDF]
Mon. 05.12. 7 From Patterns to Components [PDF]
Mon. 12.12. 8 Guest Lecture: Manfred Broy
Wed. 14.12. Ex 5 Component Models [Side Lecture PDF]
Mon. 19.12. 9 Testing Components [PDF]
Mon. 09.01. 10 Fundamentals of Program Analysis [PDF]
Wed. 11.01. Ex 6 Starting an ePosix project [PDF]
Mon. 16.01. 11 Abstract Interpretation [Optional Reading Assignement][PDF]
Mon. 23.01. 12 Model Checking [PDF]
Mon. 30.01. 13 Trusted Component Deployment [PDF][ODP]
Mon. 06.02. 14 Proof-Carrying Code [Optional Reading Assignement][PDF]