CSci 435/535: Software Engineering

Information

• Syllabus
• Schedule
• Project Grading
• Treiber's Traffic Demo

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

• The book Version Control with Subversion
• The Subversion Homepage, with FAQ, IRC info, etc.

• Design by Contract with JML
• JML Homepage
• ESC/Java2 Homepage

• J. M. Spivey, "An Introduction to Z and Formal Specifications," Software Engineering Journal, 4(1):40-50, January 1989.
• J. C. P. Woodcock, "Structuring Specifications in Z," Software Engineering Journal, 4(1):51-66, January 1989.
• Woodcock and Davies, Using Z, Prentice Hall 1996.
• Z Reference Manual
• Z Reference Card (For LaTeX commands to write funny symbols.)
• Fuzz Homepage
• Shared Resource Specification
• PREMO Formal Specification
• Tests with example solutions
• Examples from Using Z

Homework

• 1: Forums and Issue Tracker
• 2: Implementation Tools #1
• 3: Implementation Tools #2
• 4: Requirements
• 5: Use Cases
• 6: Detailed Design
• 7: Software Verification
• 8: Formal Methods

About This Course (For Educators)

A paper on the large-team method by which this course is taught was presented at SIGCSE 2005. Here is the paper on the overall approach, and here is a paper that describes the individual assessment technique in more detail.

Almost all of the changes I have made have been packaged up as nice bite-sized patches, and submitted to the Issue Tracker project. As far as I can tell, they have not been merged in yet. (Perhaps because they intend to incorporate them into the new version.) In the meantime, you can download the modified version here. It should work after you install it. If it doesn't, I may have forgotten some change I made to the database or something. (Plus Issue Tracker itself is a little fussy to install.) Email me and I'll try to help.