Readings for CS 4500

Required readings

Read in textbook:
- Introduction to Part 1
- Sections 1.0, 1.1, 1.2 (Introduction)
- Chapter 2 (Software Processes)
- Chapter 4 (Requirements Engineering), omitting sections 4.3.2, 4.4
- Chapter 3 (Agile Software Development)
- Chapter 8 (Software Testing)
  
  (Although your instructor agrees with all of Somerville's key points listed on page 231 (at the end of chapter 8), he disagrees with several specific things Somerville wrote in chapter 8. See if you can spot those disagreements.)
- Chapter 6 (Architectural Design)
The Story of Mel, a Real Programmer
Read in textbook:
- Chapter 7 (Design and Implementation)
  
  If you haven't seen the Unified Modeling Language (UML) before, you might want to skim chapter 5 before reading chapter 7.
- Chapter 22 (Project Management)
- Sections 16.0, 16.1, 16.2 (Software Reuse)
- Chapter 10 (Sociotechnical Systems)
- Chapter 11 (Dependability and Security)
- Chapter 25 (Configuration Management)

Classic readings

Frederick P Brooks, Jr. The Mythical Man-Month. Anniversary Edition. Addison Wesley Longman, 1995.
Gerald M Weinberg. The Psychology of Computer Programming. Van Nostrand Reinhold, 1971.

Supplemental readings

Examples of specifications:
- 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.
- A specification of the default algorithm for word-breaking in Unicode texts.
- The formal syntax of Java.
- 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.
You can request a Trac site for your project(s) from CCIS systems.

Last updated 22 February 2013.