Information

• Syllabus
• Schedule
• Presentation Grading Template
• Bibliography and Coppit's publications (Contains papers we will read, among others. See the schedule for more information.)
• First set of papers we chose. We voted on the ones to present.

External Material

• JML: Homepage
• ESC/Java2: Homepage. User's Manual
• Alloy: Homepage, Quickstart, Tutorial, Reference Manual
• Webpage about software tools at William and Mary.
• My code page has a paper template for your proposal and paper. Be sure to see the instructions which include information on how you can avoid installing the support files.

Homework

• 1: Project Ideas
• 2: Proposal
• 3: Progress Report
• 4: Final Paper