Thurs 1/29

How to Read an Engineering Research Paper. Bill Griswold

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

Tues 2/3

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

Thurs 2/5 Software Process

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.

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.

Thurs 2/12 Software Requirements

Software Requirements Engineering, Second Edition Merlin Dorfman and Richard H. Thayer

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.

Tues 2/17 RAMSS

A. Memon, A. Porter, C. Yilmaz, and A. Nagarajan D. Schmidt and B. Natarajan. Skoll: Distributed Continuous Quality Assurance, in Proceedings of the International Conference on Software Engineering, Edinburgh, Scotland, UK, May 2004. 

Thurs 2/19

• 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.

Tues  2/24

• B. Lampson. Hints for Computer System Design. IEEE Software , Vol. 1, No. 1, January 1984, pages 11-28.

Thurs  2/26

• Foundations for the Study of Software Architecture, Dewayne E. Perry, Alexander L. Wolf, ACM Software Engineering Notes, 17(4), Oct. 1992, p. 40-52.

Tues  3/9

• An Axiomatic Basis for Computer Programming, C. A. R. Hoare, Communications of the ACM, 12(10), Oct. 1969, p. 576-583

Thurs  3/11

• Go To Statement Considered Harmful, Edsger W. Dijkstra, Letter to the Editor in Communications of the ACM, 11(3), March 1968, p. 147-148.
• 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.

Tues  3/16

• 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.

Thurs  3/18

• (Sandro) Leveraging Field Data for Impact Analysis and Regression Testing. Alessandro Orso, Taweesup Apiwattanapong, and Mary Jean Harrold. Proceedings of the 11th European Software Engineering Conference and 11th ACM SIGSOFT

Tues 3/30

• 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

Thurs 4/1

• 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

Tues 4/20

• Goodenough, J. B. AND Gerhardt, S. L. 1975. Toward a theory of test data selection. IEEE Trans. Softw. Eng. SE-3.
• Hierarchical GUI test case generation using automated planning, Memon, A.M.; Pollack, M.E.; Soffa, M.L. 144-155, IEEE Transactions on Software Engineering, Volume: 27,   Issue: 2,   Feb 2001

Thurs 4/24

• A. Zeller, R. Hildebrandt, "Simplifying and Isolating Failure-Inducing Input", IEEE Transactions on Software Engineering, Vol. 28 No. 2, Feb 2002
• Isolating Cause-Effect Chains from Computer Programs. Andreas Zeller; Proc. ACM SIGSOFT 10th International Symposium on the Foundations of Software Engineering (FSE-10), Charleston, South Carolina, November 2002.

Tues 4/27

• Fag76 M.E. Fagan. Design and code inspections to reduce errors in program development. IBM Systems Journal , Vol. 15, No. 3, 1976, pages 182-211.
• A. A. Porter, H. Siy, C.A. Toman and L.G. Votta, An Experiment to Assess the Cost-Benefits of Code Inspections in Large Scale Software Development. IEEE Transactions on Software Engineering, 23(6): 329-346, June, 1997.
• D. E. Perry, A. Porter, M. Wade, L. Votta and J. Perpich, Reducing inspection interval in large-scale software development. IEEE Transactions on Software Engineering. Volume: 28,   Issue: 7,   Jul 2002

Thurs 4/29

• 01.Marenic.pdf (Sandro)
• 02.Williams.A4.pdf (Christian)
• 03.Castaldi.pdf (Dan)

Tues 5/4

• 04.Diaconescu.pdf (Sandro) 
• 05.Mos.pdf (Christian)
• 06.Heimbigner.pdf (Dan)

Thurs 5/6

• 07.Hardojo.pdf (Sandro) 
• 08.Naslavsky.pdf (Christian)
• 09.Robles.pdf (Dan)

Tues 5/11

• 10.Liblit.pdf (Sandro)  
• 11.Bowring.pdf (Christian)
• 12.Yilmaz.pdf (Dan)