Tuesday 1/28

• F. DeRemer, and H.H. Kron. Programming-in-the-large Versus
  Programming-in-the-small. 
  IEEE Transactions on Software Engineering, Vol. SE-2, No. 2, June 1976,
  pages 80-86. 

• F. Brooks. No Silver Bullet - Essence and Accidents of Software
  Engineering. 
  IEEE Computer, April 1987 

Tu 2/4

• S. Redwine, and W. Riddle. Software Technology Maturation. Proceedings
  of 8th 
  International Conference on Software Engineering, May 1985, pages
  189-200. 

• NSF ITR program proposal, Alan F. Karr, David Notkin, Adam Porter, and
  Douglas Schmidt. 

Th 2/6

• W. W. Royce, Managing the development of large software systems: concepts and techniques, International Conference on Software Engineering Proceedings of the 9th international conference on Software Engineering,1987 , Monterey, California, United States
• Barry Boehm "A Spiral Model of Software Development and Enhancement." IEEE Computer, vol.21, #5, May 1988, pp 61-72.

Tu 2/11

• Ray98 E. Raymond. The Cathedral and the Bazaar.
• Beck, K. Embracing Change with Extreme Programming. IEEE Computer. 32(10), p. 70-77, 1999.
• "How Microsoft builds software", Michael Cusumano and Richard Selby, Communications of the ACM, vol. 40, No. 6, pp. 53-62, June 1997.

Th 2/13

Tu 2/18

• J.M. Wing. A Specifier's Introduction to Formal Methods. IEEE Computer, 23(9):8-24, September 1990.
• Specifying Software Requirements for Complex Systems: New Techniques and Their Application, Kathryn L. Heninger, IEEE Trans. Software Engineering 6(1), Jan. 1980, p. 2-13.

Th 2/20

The Model Checker SPIN. Gerard J. Holzmann, IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOL. 23, NO. 5, MAY 1997.

Tu 3/4

• D.L. Parnas. Designing software for ease of extension and contraction. IEEE Transactions on Software Engineering , Vol. SE-5, No. 2, June 1979, pages 128-137.
• D.L. Parnas. On the Criteria to be Used in Decomposing Systems into Modules. Communications of the ACM , Vol. 15, No. 12, December 1972, pages 1053-1058.
• D.L. Parnas & P. Clements (1986). A rational design process: How and why to fake it. IEEE Transactions on Software Engineering, 12 (2), 251-257.
• B. Lampson. Hints for Computer System Design. IEEE Software , Vol. 1, No. 1, January 1984, pages 11-28.

Tu 3/11

• Foundations for the Study of Software Architecture, Dewayne E. Perry, Alexander L. Wolf, ACM Software Engineering Notes, 17(4), Oct. 1992, p. 40-52.
• E. Gamma, et al. (1993). Design patterns: Abstraction and reuse of object-oriented design. Proceedings of ECOOP '93: 7th European Conference Proceedings, (707), 406-431.

Th 3/13

• G. Kiczales, J. Lamping, A. Mendhekar, C. Maeda, C. Lopes, J.-M. Loingtier, and J. Irwin. Aspect-oriented programming. In ECOOP'97---Object-Oriented Programming, 11th European Conference, LNCS 1241, pages 220--242, 1997.

Th 3/20

• Go To Statement Considered Harmful, Edsger W. Dijkstra, Letter to the Editor in Communications of the ACM, 11(3), March 1968, p. 147-148.
• An Axiomatic Basis for Computer Programming, C. A. R. Hoare, Communications of the ACM, 12(10), Oct. 1969, p. 576-583
• Social Processes and Proofs of Theorems and Programs, Richard A. De Millo, Richard J. Lipton, Alan J. Perlis, Communications of the ACM, 22(5), May 1979, p. 271-280.

Tu 4/1

• S. Horwitz and T. Reps. The Use of Program Dependence Graphs in Software Engineering. Proceedings of the 14th international Conference on Software engineering (May 1992).
• M. Weiser. Program Slicing, IEEE Transactions on Software Engineering, SE-10(4):352-357, July 1984.

Th 4/3

• R. O'Callahan and D. Jackson. Lackwit: A program understanding tool based on type inference. Proceedings of the 1997 International Conference on Software Engineering, Boston, USA, 1997

Tu 4/8

• M.D. Ernst, J. Cockrell, W.G. Griswold, D. Notkin. Dynamically Discovering Likely Program Invariants to Support Program Evolution. IEEE Transactions in Software Engineering, v27#2, Feb 2001, pp 1-25.