News

• Class has been moved to McGlothlin-Street Hall room 002.
• Issue Tracker can be reached from the temporary project homepage

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: Issue Tracker and Class Project
• 2: Implementation Tools #1
• 3: Implementation Tools #2
• 4: Use Cases
• 5: Requirements
• 6: Detailed Design
• 7: Software Verification
• 8: Formal Methods

For Educators