TERM PAPER INFORMATION

• Read Gries, Sect. 23.1, pp. 294-301, for some background to the history of program development and verification.

• Read 1 or more papers from the Program Verification Bibliography.

• Then write a 2- to 5-page summary of the paper(s), relating them to the material being covered in this course.

• For writing guidelines, see ``Instructions for Word-Processed or Typed Papers''

• Grading Criteria:

  These criteria are intended as a guide to you in preparing your term paper, as well as a guide to me for grading purposes. These criteria may not be universally appropriate for all possible topics, and other criteria might turn out to be appropriate. Nevertheless, these should give you an idea of the kinds of things I will be looking for.

  • Is there a clear summary of the article?

  • How is the article relevant to the course?

  • Is the overall presentation clear and well-written?

  • Is there any original content? (Even a summary of an article should include your own reasoned opinions.)

  • Did you learn anything?

DEADLINES:

B. Term paper due: