Trusted Components: Reuse, Contracts and Patterns
|
General info: | News | Course description | Grading | Course books | Downloads | Further reading | Exam | Wiki |
Lectures: | Subjects and Slides |
13.12.2007 | As discussed im course, paper documentation will be authorized at the exam. |
05.12.2007 | Updated project deadline: 20.12.2007 |
05.12.2007 | Updated project presentation date: 12.12.2007 in exercise session |
04.12.2007 | Updated slides on Proof-Carrying Code and updated the guest lecture. |
26.11.2007 | Updates slides on Model checking. |
19.11.2007 | Added exam for 2006 winter semester: 2006 |
05.10.2007 | Added slides of introduction to analysis techniques: Introduction to program analysis |
03.10.2007 | Added Wiki page: Course Wiki |
03.10.2007 | Added project description: Project Description |
01.10.2007 | Added slides for first lecture. |
17.09.2007 | Website up and running, tentative schedule added. |
Web page at the computer science department: 251-0239-00 (3G)
Trusted Components are reusable software elements accompanied with a guarantee of quality. They should be equipped with contracts describing their abstract properties. The course explores the various facets of this notion. Topics include: the notion of software quality; library design; the notion of design pattern, and whether patterns can be turned into components ("componentization"); program correctness and axiomatic semantics; testing; techniques of program analysis, model checking, abstract interpretation; proof-carrying code.
About Eiffel and O-O programming:
About Program Analysis:
Day |
Time |
Room |
Monday | 9:00-11:00 | RZ F21 |
Wednesday | 10:00-11:00 | RZ F21 |
Previous exams: