Provably Correct Software, Spring -11

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.

18/1 Introductory lecture.
19/1 Lecture. Chapters 1-4.

Week 4

Students should read chapters 5-9 of the textbook before the lecture.

25/1 Seminar. Chapters 1-4.
28/1 Lecture. Chapters 5-9.

Week 5

Students should read chapters 10-11 of the textbook before the lecture.

2/2 Seminar. Chapters 5-9 .
4/2 Lecture. Chapters 10-11.

Week 6

Students should read chapters 12-14 of the textbook before the lecture.

9/2 Seminar. Chapters 10-11.
11/2 Lecture. Chapters 12-14.

Week 7

16/2 Seminar. Chapters 12-14.

Week 8

Students read chapters 15-17 of the textbook before the lecture.

21/2 Lecture. Chapters 15-17.

Week 9

Students should complete their project descriptions before the seminar.

28/2 Seminar. Chapters 15-17.
1/3 Seminar. Presentation of projects descriptions.

Week 15

13/4 Seminar. Presentation of specification machines.

Week 21

27/5 Final seminar. Presentation of completed projects.