| Title | Author(s) | Belongs to (Sommerville, chapter) | Read before | Assignment 2 (points) |
|---|---|---|---|---|
| No Silver Bullet | F. Brooks Jr. | general, a classic | 3/4 | X, 4 |
| High-Pressure Steam Engines and Computer Software | Nancy G. Leveson | general | 3/4 | X, 3 |
| Howard Fear on ... Software Engineering (etc.) | Howard Fear | general | 3/4 | - |
| Seven Myths of Formal Methods | Anthony Hall | 9.1.2 | 3/4 | - * |
| Software Inspections: An Effective Verification Process | Ackerman, Buchwald, Lewski | 24.1 | 10/4 | X, 3 |
| Engineering Software under Statistical Quality Control | R. Cobb, H. Mills | 24 | 10/4 | X, 3 |
| Howard Fear on ... Testing 101 (etc.) | Howard Fear | 22, 23 | 10/4 | - |
| Design by Contract, section 1.1 - 1.3 of Advances in Object-Oriented Software Engineering | Bertrand Meyer | 19.4 | 10/4 | X, 2 |
| The Mythical Man-Month (the article, not the whole book) | F. Brooks Jr. | 3.4, a classic | 25/4 | X, 2 |
| Confessions of a Software Quality Addict | Tracy Hall | 31 | 2/5 | X, 3 |
| A Software Process Immaturity Model | A. Finkelstein | 31.4 | 2/5 | - |
* Only the summary in Sommerville belongs to the exam.