Readings for CS 5500

Required readings

Read in textbook:
- Chapter 1 (The Goals and Terminology of Software Engineering)
- Sections 3.0, 3.1 (The Activities of Software Process)
- Chapter 10 (Principles of Requirements Analysis)
- Sections 11.0, 11.1, 11.2, 11.3, 11.4, 11.13 (Analyzing High-Level Requirements)
- Sections 12.0, 12.1, 12.2.0, 12.2.1, 12.12 (Analyzing Detailed Requirements)
- Chapter 7 (Principles of Project Management I: Organization, Tools, and Risk Management) except for section 7.3
- Sections 15.0, 15.1, 15.4 (Principles of Software Design)
- Section 3.2 (Software Process Models)
- Sections 4.0, 4.1, 4.2, 4.3, 4.4.1 (Agile Software Processes)
- Chapter 25 (Introduction to Software Testing)
- Sections 26.0, 26.1, 26.2, 26.6 (Unit Testing)
- Sections 27.0, 27.1, 27.3, 27.4, 27.9 (Module and Integration Testing)
- Sections 28.0, 28.1, 28.4, 28.8 (System Testing)
- Sections 15.0, 15.1, 28.4, 28.8 (Principles of Software Design)
- Sections 18.0, 18.1, 18.2.0, 18.2.1, 18.2.5 (Software Architecture)
- Sections 19.0, 19.2, 19.4, 19.5, 19.6, 19.8 (Detailed Design)
- Sections 22.0, 22.2, 22.3, 22.4, 22.5, 22.7, 22.8, 22.14 (Principles of Implementation)
- Sections 5.0, 5.1, 5.4, 5.5 (Quality in the Software Process)
- The Story of Mel, a Real Programmer

Classic readings

Fred Brooks. The Mythical Man-Month. Addison-Wesley, 1995.
Gerald M Weinberg. The Psychology of Computer Programming. Van Nostrand Reinhold, 1971.

Supplemental readings

The current Wikipedia article on photographic mosaics provides some background for this semester's project.
The current Wikipedia article on the Rancho La Brea tar pits includes several images that, according to Fred Brooks, dramatize the difficulty of software development.
The ImageMagick documentation is an external specification.
Examples of specifications and technical standards:
- A specification of floating point arithmetic as formalized for the ACL2 theorem prover.
- XML Schema Part 2: Datatypes specifies the basic datatypes of XML Schema.
- The Unicode standard (ISO/IEC 10646).
- A specification of the default algorithm for word-breaking in Unicode texts.
- The Java Language Specification.
- The formal syntax of Java.
- The Revised⁶ Report on the Algorithmic Language Scheme.
- The formal syntax of Scheme. As implemented in Larceny:
  - regular expressions
  - context-free grammar
- A denotational semantics of Scheme used to prove the correctness of an algorithm for code generation.

Last updated 24 October 2012.