CSci 435/535 -- Software Engineering

Course Materials

• Syllabus
• Schedule
• Quick Survey
• Project Grading
• Point Allocation Guidelines
• Class photos: First (JPG, PDF), Second (JPG, PDF), Third (JPG, PDF)
• Discussion Forum

Papers and Books

• 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

• Felix Gers' CVS Tutorial
• Open Source Development With CVS
• Jennifer Vesperman, "Introduction to CVS," The O'Reilly Network.
• Gregor Purdy, "Top 10 CVS Tips," The O'Reilly Network.

• 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

Lectures

• 1: Introduction
• 2: Software Configuration Management
• 3: Fred Brooks: The Mythical Man-Month, "No Silver Bullet"
• 4: The Software Lifecycle
• 5: Requirements
• 6: Specification
• 7: Object-Oriented Programming
• 8: Object-Oriented Analysis and Design--Part I
• 9: Object-Oriented Analysis and Design--Part II
• 10: Implementation
• 11: Testing
• 12: Maintenance
• Midterm Review
• 13: Risk Management
• 14: Software Processes
• 15: Planning and Scheduling
• 16: Extreme Programming
• 17: Cross-Cutting Concerns
• 18: Formal Methods Part I
• 19: Formal Methods Part II
• 20: Formal Methods Part III
• 21: Software Architecture
• 22: Verification
• 23: Reverse- and Reengineering
• 24: Metrics
• 25: Reuse
• 26: Review

Homework

• 1: Issue Tracker
• 2: CVS
• 3: Requirements
• 4: Design
• 5: Testing
• 6: Formal Methods (Updated Template)