Title |
Author(s) |
Belongs to (Sommerville 6th ed., chapter) |
Read before |
Assignment 2 grade points |
---|---|---|---|---|
Part 1 | ||||
No Silver Bullet |
F. Brooks Jr. |
general |
4/11 |
4 |
Seven Myths of Formal Methods |
Anthony Hall |
9 |
12/11 |
3 |
High-Pressure Steam Engines and Computer Software |
Nancy G. Leveson |
16 - 18 |
8/11 |
3 |
Design by Contract, section 1.1 - 1.3 of Advances in Object-Oriented Software Engineering |
Bertrand Meyer |
18.1 |
7/11 |
2 |
Part 2 | ||||
Software Inspections: An Effective Verification Process |
Ackerman, Buchwald, Lewski |
19.2 |
18/11 |
no |
Engineering Software under Statistical Quality Control |
R. Cobb, H. Mills |
19 |
18/11 |
3 |
Howard Fear on ... Testing 101 (etc.) |
Howard Fear |
19, 20 |
18/11 |
no |
The Mythical Man-Month (the article, not the whole book) |
F. Brooks Jr. |
4.3 |
29/11 |
2 |
Howard Fear on ... Software Engineering (etc.) |
Howard Fear |
4, 22 - 25 |
29/11 |
no |
Confessions of a Software Quality Addict |
Tracy Hall |
25 |
2/12 |
3 |
A Software Process Immaturity Model |
A. Finkelstein |
25.4 |
2/12 |
no |