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

Fred Brooks, "No silver bullet: Essence and accidents of software engineering," IEEE Computer, 20(4):10-19, April 1987.
K. Beck, "Embracing Change with Extreme Programming," IEEE Computer. 32(10), p. 70-77, 1998
Subversion: Homepage, Version Control with Subversion.
JML: Homepage
ESC/Java2: Homepage. User's Manual
Alloy: Homepage, Quickstart, Tutorial, Reference Manual
Violet: Homepage and quickstart guide
Sun's summary of new features in Java 5.0.

Homework

For Educators

Back to David Coppit's Homepage.

Last changed January 28 2008 10:49:28. David Coppit, coppit@cs.wm.edu

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