I'm now managing a team at nVidia. These pages are old. To contact me, use david@coppit.org, since I check that account more often.

Information | External Material | Project | Homework

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

Back to David Coppit's Homepage.

Last changed September 14 2007 15:26:20. David Coppit, coppit@cs.wm.edu

There have been 1320843 hits since Thu Jun 9 14:49:55 2005