Week of Jan 21 (Requirements Engineering)

• From object-orientation to goal orientation: A paradigm shift for requirements engineering. A. van Lamsweerde and E. Lettier. Location coming. 2004. Link coming.
• Scenario-based requirements engineering. A. Sutcliffe. Location coming. 2004. Link coming.

Week of Jan 28 (Alloy)

• Dependable software by design. D. Jackson. Scientific American. 2006. Link coming.
• Modeling the active badge system. S. Xu. Link/location coming.

Week of Jan 28 (Software Architecture) Include capture/analysis/conformance?

Week of Feb 4 (Software Design/Modularization)

• On the criteria to be used in decomposing systems into modules. D. Parnas...
• Decoupling change from design.

Week of Feb 11 (Reading week)

• No papers due to reading week

Week of Feb 18 (Composing Modules)

Week of Feb 25 (Advanced Static Analysis)

Week of Mar 3 (Advanced Dynamic Analysis)

Week of Mar 10 (Software Evolution)

Week of Mar 17 (no class)

Week of Mar 24 (Tools I - Recommenders)

Week of Mar 31 (Tools II - Bug Finders?)

Week of Apr 7 (Evaluation Methods)

-- Main.murphy - 16 Jan 2008