Provably Correct Software, Spring -10
Apart from the class meetings in this schedule, there will be meetings with individual groups scheduled as we go.
Week 3
Students should read chapters 1-4 of the textbook.
20/1 08-10 Introductory lecture.
21/1 13-15 Lecture. Chapters 1-4.
Week 4
Students should read chapters 5-9 of the textbook before the lecture.
26/1 13-15 Seminar. Chapters 1-4.
28/1 10-12 Lecture. Chapters 5-9.
Week 5
Students should read chapters 10-11 of the textbook before the lecture.
4/2 10-12 Seminar. Chapters 5-9 .
5/2 10-12 Lecture. Chapters 10-11.
Week 6
Students should read chapters 12-14 of the textbook before the lecture.
8/2 13-15 Seminar. Chapters 10-11.
9/2 15-17 Lecture. Chapters 12-14.
Week 7
Students read chapters 15-17 of the textbook before the lecture.
15/2 10-12 Seminar. Chapters 12-14.
17/2 13-15 Lecture. Chapters 15-17.
Week 8
Students should complete their project descriptions before the seminar.
25/2 10-15 (with lunch break) Seminar. Chapters 15-17 and presentation of projects descriptions.
Week 16
23/4 08-17 (with lunch break) Seminar. Presentation of specification machines.
Week 21
27/5 08-17 (with lunch break) Final seminar. Presentation of completed projects.
Only group meetings this week.