CSci 780: Advanced Software Engineering

Information

• Syllabus
• Schedule
• Paper Summary Template
• Bibliography and Coppit's Publications (Contains papers we will read, among others. See the schedule for more information.)

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: Paper Abstracts I
• 2: Paper Abstracts II
• 3: Project Ideas
• 4: Proposal
• 5: Progress Report