Readings for CS 4500: Software Development

Read in Brooks, The Mythical Man-Month:
- About the Author
- Preface to the 20th Anniversary Edition
- Preface to the First Edition
- Chapter 1: The Tar Pit
- Chapter 2: The Mythical Man-Month
Read Wikipedia's current article on requirements analysis.
Read the part of Wikipedia's current article on specifications that deals with information technology.
Read in Brooks, The Mythical Man-Month:
- Chapter 6: Passing the Word
- Chapter 7: Why Did the Tower of Babel Fall?
The Story of Mel, a Real Programmer
Read in Brooks, The Mythical Man-Month:
- Chapter 8: Calling the Shot
- Chapter 9: Ten Pounds in a Five-Pound Sack
- Chapter 10: The Documentary Hypothesis
- Chapter 3: The Surgical Team
- Chapter 4: Aristocracy, Democracy, and System Design
- Chapter 11: Plan to Throw One Away
- Chapter 13: The Whole and the Parts
- Chapter 14: Hatching a Catastrophe
- Chapter 15: The Other Face
- Chapter 5: The Second-System Effect
- Chapter 12: Sharp Tools
- Chapter 16: No Silver Bullet - Essence and Accident in Software Engineering
- Chapter 17: "No Silver Bullet" Refired
- Chapter 19: The Mythical Man-Month after 20 Years
- Chapter 18: Propositions of The Mythical Man-Month: True or False?

Some recordings:
Wikipedia overview of Digital audio
Some random articles that might describe relevant algorithms:
- Stack Overflow question about Matching two audio files
- Code Project question about Audio File Matching Program
- Nokia Developer article about Sound pattern matching using Fast Fourier Transform in Windows Phone
- Code Project article describing a Duplicate songs detector via audio fingerprinting
Mars Climate Orbiter
The first launch of an Ariane 5 and Wikipedia's summary
MILSTAR 3 launch on 30 April 1999
a Patriot anti-missile missile failed on 25 February 1991
a V-22 Osprey crashed on 5 April 2001 after a hydraulic line ruptured. The pilot reacted properly, but a "computer software anomaly" caused "uncommanded aircraft pitch, roll and yaw motions, which eventually stalled the aircraft."
On 26 September 1983, the Soviet Union's early warning system reported a launch of American Minuteman missiles against the USSR. Lieutenant Colonel Stanislav Petrov suspected the software was wrong, and chose not to initiate World War III.
Wikipedia article on engineering requirements
Wikipedia article on specifications for information technology
ISO 12207 is a standard for software life cycle processes.
Examples of specifications:
- Typing man wc at a Unix/Linux/MacOSX shell will produce an external specification of the wc program.
- Typing java -help at the shell on a CCIS Linux machine will produce an external specification of the command line for running the java virtual machine.
- Typing larceny -help at the shell on a CCIS Linux machine will produce an external specification of the command line for running the larceny implementation of Scheme.
- 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 that was used to prove the correctness of an algorithm for code generation.
Some Wikipedia articles that might be relevant to the semester project:
- Wikipedia overview of Digital audio
- Wikipedia overview of Audio compression (data)
- Wikipedia overview of Audio file format
- Wikipedia overview of Digital signal processing
- Wikipedia overview of Discrete Fourier transform
- Wikipedia overview of Acoustic fingerprint
- Wikipedia overview of Metric space
- Wikipedia overview of Approximate string matching
The Joint Strike Fighter program is about to try landing the F-35C on an aircraft carrier.
Update: On 3 November, an F-35C landed on the USS Nimitz.
More Wikipedia articles that might be relevant to the semester project:
- Wikipedia overview of nearest neighbor search
- Wikipedia overview of the curse of dimensionality
- Wikipedia overview of dimensionality reduction
- Wikipedia overview of locality-sensitive hashing

Readings for CS 4500

Required readings

Classic readings

Supplemental readings