Skip to main content
Department of Information Technology

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.

Updated  2010-02-11 09:27:49 by Lars-Henrik Eriksson.