Date
Lecture
Title
Slides + Voice
in-room camera
Slides
Readings
Mon. 30.10.
1
Guest Lecture: Andreas Zeller
PDF
Wed. 01.11.
Ex 1
Test-Driven Development
PDF
Mon. 06.11.
2
Software Components
PDF
Wed. 08.11.
Ex 2
Exercise: Metrics and Quality
PDF
Project PDF
Mon. 13.11.
3
Component Quality Model and Software Quality and Designing OO Libraries
PDF
Wed. 15.11.
Ex 3
Exercise: Testing Components
GETest Sample
CDD page
Gobo Tools
Mon. 20.11.
4
Component Quality Model (continued)
PDF
Wed. 22.11.
Ex 4
Exercise: Component Evaluation
PDF
Mon. 27.11.
5
Axiomatic Semantics and Program Correctness
PDF
Wed. 29.11.
Ex 5
Exercise: Library Design
PDF
Mon. 04.12.
6
Axiomatic Semantics and Program Correctness
PDF
Wed. 06.12.
Pr 1
Project/Exercise: Axiomatic Semantic.
Mon. 11.12.
7
Testing Components
PDF
Wed. 13.12.
Ex 6
Exercise: Axiomatic Semantic
Mon. 18.12.
8
From Patterns to Components
PDF
Wed. 20.12.
Ex 7
Exercise: Testing Components
PDF and code
Wed. 03.01.
Project session
Reuse Contracts ETL3 (login: Talkitover, pass: etl3)Assignment
Mon. 08.01.
9
Fundamentals of Program Analysis
PDF
Wed. 11.01.
Ex 8
Exercise: from Patterns to Components
visitor pattern and visitor library
Mon. 15.01.
10
Abstract Interpretation
PDF
Wed. 17.01.
Exercise: Program Analysis
Mon. 22.01.
11
Model Checking
PDF and Reading