Topics (UNDER CONSTRUCTION)

• 27-Jan: Overview

  • 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
  • NSF ITR program proposal, Alan F. Karr, David Notkin, Adam Porter, and Douglas Schmidt.

• 1-Feb: 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.
  • 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.

• 8-Feb: Requirements and Specification Languages

  • 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.
  • D. Harel, H. Lachover, A. Naamad, A. Pnueli, M. Politi, R. Sherman, A. Shtul-Trauring, Statemate: a working environment for the development of complex reactive systems. In Proceedings of the 10th International Conference on Software Engineering, Singapore, Pages: 396 - 406,1988.
  • The Model Checker SPIN. Gerard J. Holzmann, IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOL. 23, NO. 5, MAY 1997.

• 15-Feb: Design

  • 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.
  • B. Lampson. Hints for Computer System Design. IEEE Software , Vol. 1, No. 1, January 1984, pages 11-28.
  • G. Kiczales, E. Hilsdale, J. Hugunin, M. Kersten, J. Palm, W. G. Griswold, An Overview of AspectJ', 15th European Conference on Object-Oriented Programming (ECOOP 2001), pp. 327-353, June 2001

• 22-Feb: Software Architecture & Component-Based Development

  • An Introduction to Software Architecture, David Garlan and Mary Shaw, in Advances in Software Engineering and Knowledge Engineering, 1993.

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

  Coding and Verification & Validation

• 1-Mar: Proofs of Correctness

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

• 8-Mar: Program Analysis Techniques

  • M. Weiser. Program Slicing, IEEE Transactions on Software Engineering, SE-10(4):352-357, July 1984.
  • 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).
  • Umesh Shankar, Kunal Talwar, Jeffrey S. Foster, and David Wagner, Detecting Format-String Vulnerabilities with Type Qualifiers. In Proceedings of the 10th USENIX Security Symposium. Washington, D.C., August 2001.
  • Boolean Programs: A Model and Process for Software Analysis, T. Ball, S.K. Rajamani, MSR Technical Report 2000-14, February 2000.

• 15-Mar: Testing

  • 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
  • Thomas Ball. A Theory of Predicate-Complete Test Coverage and Generation, MSR-TR-2004-28.
  • Atif Memon, Adam Porter, Cemal Yilmaz, Adithya Nagarajan, Douglas C. Schmidt, and Bala Natarajan, Skoll: Distributed Continuous Quality Assurance, Proceedings of the 26^th IEEE/ACM International Conference on Software Engineering (ICSE), Edinburgh, Scotland, May 2004

• 29-Mar: Debugging & Fault Discovery

  • M.D. Ernst, J. Cockrell, W.G. Griswold, D. Notkin. Dynamically Discovering Likely Program Invariants to Support Program Evolution."
    In Proceedings of the 21st international conference on Software Engineering. Los Angeles, California, United States Pages: 213 - 224, 1999.

  • Andy Podgurski, David Leon, Patrick Francis, Wes Masri, Melinda Minch, Jiayang Sun, Bin Wang: Automated Support for Classifying Software Failure Reports. 465-477 Proceedings of the 25th International Conference on Software Engineering, May 3-10, 2003, Portland, Oregon.

  • Holger Cleve and Andreas Zeller. Locating Causes of Program Failures. Saarland University, September 2004. To appear in Proc. 27^th International Conference on Software Engineering, St. Louis, Missouri, May 2005.

  • Ben Liblit, Mayur Naik, Alice X. Zheng, Alex Aiken and Michael I. Jordan, Scalable Statistical Bug Isolation. In Proceedings of the ACM SIGPLAN 2005 Conference on Programming Language Design and Implementation, Chicago Ill.

• 5-Apr: Inspection

  • 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

• 12-Apr: Evolution

  • L. Belady, and M. Lehman. A model of large program development. IBM Systems Journal , Vol. 15, No. 3, 1976, pages 225-252.
  • Reps, T., Ball, T., Das, M., and Larus, J., " The use of program profiling for software maintenance with applications to the Year 2000 Problem," ESEC/FSE '97: Sixth European Software Engineering Conference and Fifth ACM SIGSOFT
  • Cemal Yilmaz, Arvind Krishna, Atif Memon, Adam Porter, Douglas C. Schmidt, Aniruddha Gokhale, and Bala Natarajan, Main Effects Screening: A Distributed Continuous Quality Assurance Process for Monitoring Performance Degradation in Evolving Software Systems, To appear in the 27^th International Conference on Software Engineering, St. Louis, MO, May 15-21, 2005
  •  Dewayne E. Perry , Harvey P. Siy , Lawrence G Votta, Parallel changes in large scale software development: an observational case study, Proceedings of the 20th international conference on Software engineering, p.251-260, April 19-25, 1998, Kyoto, Japan

• 19-Apr: Development Tools and Environments

  • T. Ball & S. Eick (1996). Software visualization in the large. Computer, 29 (4), 33-43.

• 26-Apr: Miscellaneous

  • Leveson, N. G. and C. S. Turner. An investigation of the Therac-25 accidents. Computer, 26(7): 18-41, 1993.

Web Accessibility