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), Time and location TBD

• 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 25 (Composing Modules)

• * Implementing layered designs with mixin layers. Y. Smaragdakis and D. Batory. Proc. of ECOOP, 1998. Paper

Week of Mar 3 (Advanced Static Analysis)

• * Extended static checking for Java. Flanagan, K.R.M. Leino, M. Lillibridge, G. Nelson, J.B. Saxe, and R. Stata. Proc. of PLDI, 2002.Paper
• Houdini: An Annotation Assistant for ESC/Java C. Flanagan and K.R.M. Leino. Proc. of FME 2001. Paper

Week of Mar 10 (Advanced Dynamic Analysis)

• * Dynamically Discovering Likely Program Invariants to Support Program Evolution. M.D. Ernst, J. Cockrell, W.G. Griswold and D. Notkin. Proc. of ICSE 1999. Paper
• Invariant Inference for Static Checking: An Empirical Evaluation. J.W. Nimmer and M.D. Ernst. Proc of FSE, 2002. Paper

Week of Mar 17 (no class)

Week of Mar 24 (Software Evolution)

Week of Mar 31 (Tools I - Recommenders)

Week of Apr 7 (Evaluation Methods)

-- Main.murphy - 16 Jan 2008