Engr 692-06: Special Topics in Engineering Science
(Software Families)
Fall 2007
Lecture Notes

• Classic papers by Frederick P. Brooks, Jr.
  • "No Silver Bullet--Essence and Accidents of Software Engineering," IEEE Computer, April 1987.

  • "'No Silver Bullet' Refired," Chapter 17 in The Mythical Man Month: Essays on Software Engineering, Anniversary Edition, Addison Wesley, 1995.

• Cunningham group papers related to the Parnas ideas. These are for reference only. They were not explicitly discussed.
  • Advocacy paper: H. C. Cunningham, C. Zhang, and Y. Liu. "Keeping Secrets Within a Family: Rediscovering Parnas," In Proceedings of the International Conference on Software Engineering Research and Practice (SERP), pp. 712-718, CSREA Press, June 2004. [preprint PDF] [presentation]

  • Paper about previous version of course: H. C. Cunningham, P. Tadepalli, and Y. Liu. "Secrets, Hot Spots, and Generalization: Preparing Students to Design Software Families," Journal of Computing Sciences in Colleges, Vol. 20, No. 6, pp. 118-124, CCSC, June 2005. [preprint PDF]

• Classic papers by David Parnas. In addition to the references listed below, these are reprinted in the book: D. M. Hoffman and D. M. Weiss, Editors. Software Fundamentals: Collected Papers by David L. Parnas, Addison-Wesley, 2001.
  • D. L. Parnas. "On the Criteria to Be Used in Decomposing Systems into Modules," Communications of the ACM, Vol. 15, No. 12, pp. 1053-1058, December 1972.
    (Chapter 7 of Software Fundamentals.)

  • K. H. Britton, R. A. Parker, and D. L. Parnas. "A Procedure for Designing Abstract Interfaces for Device Interface Modules," Proceedings of the Fifth International Conference on Software Engineering, pp. 195-204, March 1981. (Chapter 15 of Software Fundamentals.)

  • D. L. Parnas. "On the Design and Development of Program Families," IEEE Transactions on Software Engineering, Vol. SE-2, No. 1, pp. 1-9, March 1976. (Chapter 10 of Software Fundamentals.)

    (For reference in relation to "Program Families" paper, not explicitly discussed) Niklaus Wirth. "Program Development by Stepwise Refinement," Communications of the ACM, Vol. 14, No. 4, April 1971.

  • D. L. Parnas. "Designing Software for Ease of Extension and Contraction," IEEE Transactions on Software Engineering, Vol. SE-5, No. 1, pp. 128-138, March 1979. (Chapter 14 of Software Fundamentals.)

  • (Not explicitly disucssed) D. L. Parnas, P. C. Clements, and D. M. Weiss. "The Modular Structure of Complex Systems," IEEE Transactions on Software Engineering, Vol. SE-11, No. 3, pp. 259-266, March 1985. (Chapter 16 of Software Fundamentals.)

• D. Garlan, R. Allen, and J. Ockerbloom. "Architectural Mismatch: Why Reuse is So Hard," IEEE Software, Vol. 12, No. 6, November 1995. [instructor's notes]

• H. C. Cunningham, Y. Liu, and C. Zhang. "Using Classic Problems to Teach Java Framework Design," Science of Computer Programming, Special Issue on Principles and Practice of Programming in Java (PPPJ 2004), Vol. 59, No. 1-2, pp. 147-169, January 2006. doi: 10.10.16/j.scico.2005.07.009. [preprint PDF]

  Note: We likely will have some side discussions about design patterns using the material further below.

  Related tutorial: H. C. Cunningham, Y. Liu, and C. Zhang. "Teaching Framework Design Using Classic Problems," Journal of Computing Sciences in Colleges, Vol. 21, No. 5, pp. 10-12, CCSC, May 2006. [abstract] [presentation]

• E. Gamma, R. Helm, R. Johnson, and J. Vlissides. Design Patterns: Elements of Reusable Object-Oriented Software," Addison-Wesley, 1995.

  • "Template Method," Part of Chapter 5 on "Behavioral Patterns," pages 325-330.
    Slides on Template Method pattern, prepared by Yi Liu and Conrad Cunningham.

  • "Strategy," Part of Chapter 5 on "Behavioral Patterns," pages 315-324.
    Slides on Strategy pattern, prepared by Yi Liu and Conrad Cunningham.

• R. E. Johnson and B. Foote. "Designing Reusable Classes", Journal of Object-Oriented Programming, Vol. 1, No. 2, pages 22-35, June/July 1988. Also available as http://www.laputan.org/drc/drc.html.

• D. Roberts and R. Johnson. "Patterns for Evolving Frameworks," Chapter 26 in R. Martin, D. Riehle, and F. Buschmann, editors, Pattern Languages of Program Design 3, pp. 470-486, Addison Wesley, 1998. [preprint PDF]

• Systematic generalization.
  • H. A. Schmid. "Framework Design by Systematic Generalization," Chapter 15 in M. E. Fayad and R. E. Johnson, editors, Domain-Specific Application Frameworks, pp. 353-378, Wiley, 2000.

  • H. A. Schmid. "OSEFA: Framework for Manufacturing", Chapter 4 in M. E. Fayad, D. C. Schmidt, and R. E. Johnson, editors, Building Application Frameworks: Object-Oriented Foundations of Framework Design, pp. 43-65, Wiley, 1999.

  • (For reference only) H. A. Schmid. "Creating Applications From Components: A Manufacturing Framework Design," IEEE Software, Vol. 13, No. 6, November 1997.

• H. C. Cunningham and J. Wang. "Building a Layered Framework for the Table Abstraction," In Proceedings of the ACM Symposium on Applied Computing, pp. 668-674, March 2001. [preprint PDF] [related presentation]

  Variant paper: H. C. Cunningham, Y. Liu, and J. Wang. "Designing a Flexible Framework for a Table Abstraction," Draft book chapter, November 2007. [ PDF] [related presentation]

• J. Vlissides. "Designing with Patterns", In Pattern Hatching: Design Patterns Applied, Addison-Wesley, 1998. Slides prepared by Yi Liu and Conrad Cunningham for Software Architecture class.

• N. Soundarajan and S. Fridella. "Framework-Based Applications: From Incremental Development ot Incremental Reasoning," In Proceedings of the International Conferernce on Software Reuse (ICSR-6), LNCSD 1844, pp. 100-116, Springer-Verlag, 2000.

  ITEMS NOT COVERED FALL 2007

• Mark Ardis, Nigel Daley, Daniel Hoffman, Harvey Siy, and David Weiss. "Software Product Lines: A Case Study," Software Practice and Experience, Vol. 30, No. 7, pp. 825-847.2000.

• Java Modeling Language (JML) papers.
  • G.T. Leavens and Y. Cheon. "Design by Contract with JML," Draft tutorial, Department of Computer Science, Iowa State University, September 2006, ftp://ftp.cs.iastate.edu/pub/leavens/JML/jmldbc.pdf. [preprint PDF]

  • G. T. Leavens and P. Mueller. "Information Hiding and Visibility in Interface Specifications," In Proceedings of the 2007 International Conference on Software Engineering (ICSE), pp. 385-395, May 2007. [DOI: 10.1109/ICSE.2007.44] [preprint PDF]

• Scala papers and tutorials.
  • M. Schinz. "A Scala Tutorial for Java Programmers, Version 1.2, 27 July 2007. URL: http://www.scala-lang.org/docu/files/ScalaTutorial.pdf. [preprint PDF]

  • M. Odersky and M. Zenger. "Scalable Component Abstractions," In Proceedings of the 2005 International Conference on Object-Oriented Programming Languages, Systems, and Applications (OOPSLA), San Diego, October 2005.
    URL: http://lamp.epfl.ch/~odersky/papers/ScalableComponent.pdf [preprint PDF]

• Cunningham notes: Introduction to Patterns

• E. Gamma, R. Helm, R. Johnson, and J. Vlissides. Design Patterns: Elements of Reusable Object-Oriented Software," Addison-Wesley, 1995.
  • "Introduction," Chapter 1, pages 1-31.

  • "Factory Method," Part of Chapter 5 on "Creational Patterns," pages 107-116.

    Slides on Factory Method pattern, prepared by Yi Liu and Conrad Cunningham.

  • "Composite," Part of Chapter 4 on "Structural Patterns," pages 163-174.

  • "Visitor," Part of Chapter 5 on "Behavioral Patterns," pages 331-344.

• Cunningham papers on function generalization:
  • H. C. Cunningham and P. Tadepalli. "Using Function Generalization to Design a Cosequential Processing Framework," In Proceedings of the 39th Hawaii International Conference on System Sciences, 10 pages, IEEE, January 2006. [preprint PDF]

  • H. C. Cunningham, Y. Liu, and P. Tadepalli. "Framework Design Using Function Generalization: A Binary Tree Traversal Case Study," In Proceedings of the ACM SouthEast Conference, pp. 312-318, March 2006. [preprint PDF]

  • H. C. Cunningham. "Framework Design by Function Generalization," Seminar presentation, Department of Computer and Information Science, University of Mississippi, October 2006. [presentation]

• Cunningham notes: Pipes and Filters Architectural Pattern

• Mary Shaw. "Some Patterns for Software Architecture," In John M Vlissides, James O. Coplien, and Norman L. Kerth, editors, Pattern Languages of Program Design 2, Addison Wesley, 1996, pages 255-270.

UP to ENGR 692 root document?