CS 501
Software Engineering
Spring 2000

Readings and References

Books on Software Engineering

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:

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

Formal Specification

The Unified Modeling Language

[CS 501 Home Page]

William Y. Arms
Last changed: October 2, 2000