CSci 780 -- Advanced Software Engineering

Course Materials

• Syllabus
• Schedule (With Required Papers)
• List of Additional Papers
• The Papers (Required and Additional)
• Template for Paper Reviews
• Some Project Ideas
• Old Website

Presentations

• Coppit, "Effective Presentations"
• Coppit, "Effective Papers"
• Coppit, "Software's Chronic Crisis"
• Coppit, "An Investigation of the Therac 25 Accidents"
• Coppit, "No Silver Bullet"
• Gianvecchio, "On the Criteria to be Used in Decomposing Systems into Modules"
• Gianvecchio, "The Structure and Value of Modularity in Software Design"
• Gianvecchio, "Bugs as Deviant Behavior"
• Richardson, "Dynamically Discovering Likely Program Invariants to Support Program Evolution"
• Richardson, "Static Detection of Dynamic Memory Errors"
• Coppit, "Software Assurance by Bounded Exhaustive Testing"
• Broadbent, "New Quality Estimations for Random Testing"
• Richardson, "Korat: Automated Testing Based on Java Predicates"
• Broadbent, "TestEra: A Novel Framework for Automated Testing of Java Programs"
• Revelle, "Aspect-Oriented Programming"
• Revelle, "Automatically Inferring Concern Code from Program Investigation Activities"
• Broadbent, "Theme: An Approach for Aspect-Oriented Analysis and Design"
• Revelle, "Efficient Forward Computation of Dynamic Slices Using Reduced Ordered binary Decision Diagrams"

Proposal

• Proposal Sample
• Examples:
  • Gregory Abowd (GA Tech CS, Full)
  • David Evans (UVa CS, Description)
  • Ahmed Helmy (USC EE, Full)
  • Durward Kenneth Sobek II (Montana State ME, Full)
  • David Wiley (Utah State IT, Description)
• Budget Calculator
• Paper Template

Student Projects

Last changed Fri Mar 4 08:32:17 2005. David Coppit, david@coppit.org