Lecture preparation
Before lecture, read the paper assigned below, and submit two items
to the
submission website:
- Submit your own question about the paper (e.g., what you find most
confusing about the paper or the paper's general context/problem), before
lecture (i.e., 1pm). You cannot use the question below. To the extent
possible, during lecture we will try to answer questions submitted
beforehand.
- Submit your answer for the question below, before the beginning of the lecture.
Also keep in mind that you will need to write a
paper summary for your choice of papers
throughout the semester.
Assignment
Read the paper
How did software get so reliable without proof?
by Tony Hoare.
Why are we reading this paper?
What to learn from this paper?
Answer this question
How do you think things have changed since this paper was written,
25 years ago? Is software more or less reliable than it was then?
Do Hoare's explanations still hold?