Information

• Project Homepage
• Syllabus
• Schedule
• Project Grading

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.

• Webpage about software tools at William and Mary.
• Last Year's Webpage.

Homework

• 1: Project Ideas
• 2: Issue Tracker
• 3: Implementation Tools #1
• 4: Implementation Tools #2
• 5: Use Cases

For Educators