CS 501 Software Engineering Spring 2000 Readings and References

Books on Software Engineering

• Frederick P. Brooks, Jr. The Mythical Man Month. Addison-Wesley, 1972.
• Ian Sommerville, Software Engineering, 6th edition. Addison-Wesley, 2000.
• Grady Booch, James Rumbach, Ivar Jacobson, The Unified Modeling Language. Addison-Wesley 1999.

Requirements Analysis and Definition

In May 1995, Communications of the ACM had a special issue on software requirements (Volume 38, No. 5).  All the articles are worth reading.  The following are particularly recommended:

• Karen Holtzblatt and Hugh R. Beyer, Requirements gathering the human factor. Communications of the ACM, Volume 38, No.5,  pages 31-32, 1995. 
• Mark Keil and Erran Carmel, Customer-developer links in software development. Communications of the ACM, Volume 38, No.5,  pages 33-34, 1995.  
• Anthony F. Hutchings and Steve T. Knox, Creating products customers demand. Communications of the ACM, Volume 38, No.5,  pages 72-80, 1995.

Communications of the ACM is available online through the Cornell University Library Gateway.

Formal Specification

• Ben Potter, Jane Sinclair, David Till, An Introduction to Formal Specification and Z. Prentice Hall, 1991.
• Jonathan Jacky The Way of Z. Cambridge University Press, 1997.

The Unified Modeling Language

• Grady Booch, James Rumbaugh, Ivar Jacobson, The Unified Modeling Language.Addison-Wesley 1999.
• Grady Booch, Object-Oriented Analysis and Design with Applications, second edition. Benjamin/Cummings 1994.
• Rob Pooley, Perdita Stevens, Using UML Software Engineering with Objects and Components. Addison-Wesley 1999.