Papers marked with a * are suitable for writing a critical evaluation.

Week of Jan 21 (Requirements Engineering)

• From object-orientation to goal orientation: A paradigm shift for requirements engineeringA. van Lamsweerde and E. Lettier. 2004. 9th Int'l Workshop on Radical Innovations of Software and Systems Engineering in the Future. Paper
• * Scenario-based requirements engineering. A. Sutcliffe. Location coming. 2004. 11th IEEE Int'l RE Conference. Paper

Week of Jan 28 (Alloy), Thursday 11AM, Gail's Office

• Dependable software by design. D. Jackson. Scientific American. June 2006. Paper
• Modeling the active badge system. S. Xu.Paper

Week of Feb 4 (Software Architecture)

• Introduction to the special issue on software architecture. D. Garlan and D. Perry. 1995. IEEE Transactions on Software Engineering. Paper
• * ArchJava: Connecting software architecture to implementation. J. Aldrich, C. Chambers and D. Notkin. 2002. Proc. of Int'l Conf. on SE. Paper
• Software reflexion models: Bridging the gap between source and high-level models. G.C. Murphy, D. Notkin and K. Sullivan. 1995. Proc. of Foundations of SE. Paper

Week of Feb 11 (Software Design/Modularization)

• On the criteria to be used in decomposing systems into modules. D. Parnas. CACM, Dec. 1972. Paper
• Decoupling change from design. M. VanHilst and D. Notkin. Proc. of Foundations of SE, 1996. Paper

Week of Feb 18 (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