また、たとえプログラムを検証したとしても、それは、プログラムが仕様書通りに実装されていることを証明するだけであり、仕様書にバグがないことを証明するわけではない。
提案.
以下のことを提案する。
「銀の弾などない」再発射.
オブジェクト指向プログラミングの現状.
オブジェクト指向プログラミングの手法は成長が遅かった。
人月の神話
『人月の神話』（にんげつのしんわ、）は、フレデリック・ブルックスが著したソフトウェア工学とソフトウェアプロジェクト管理の書籍である。
概要.
プロジェクト管理者がソフトウェアプロジェクト管理において、繰り返し何度もこのような誤りを犯すという傾向があるため、ブルックスは自分の本について、次のような皮肉を述べている。
この本は「ソフトウェア工学の聖書」と呼ばれている。なぜなら、誰もがこの本を読んでいるが、誰もこの本で述べていることを実践しないからである。
本書の目次.
人月の神話——狼人間を撃つ銀の弾はない
問題の所在—表紙とタールの沼.
本書の表紙には、タールの沼と複数の獣たちの絵が描かれている。
本書で述べられている見解.
以下では、ブルックスが本書で述べている見解を説明する。
人月の神話（第二章）.
まず、ブルックスは、次のような問題を指摘する。
そして、その原因は、「人月」という考え方を使って見積もりをしているからであるとする。ブルックスは、人月の問題点を次のように指摘している。
つまり、人月を使ってスケジュールを見積もることで、その見積もりが失敗し、スケジュールが遅れてしまうのである。そういう事態に陥ってしまった場合、スケジュールの遅れを取り戻すために、プロジェクトの人員を増やすという対策が取られることが多い。しかし、それでは、火に油を注ぐことになってしまうとブルックスは主張する。彼は、それを「ブルックスの法則」と呼び、以下のように定義している。
そして、ブルックスは、その法則が成り立つ理由を以下のように分析している。
したがって、人員を追加することで、遅れているプロジェクトに対処することはできない。そこで、ブルックスは、スケジュールが遅れているときには、
ことを提案している。ちなみに、ブルックスは、次のような目安で、スケジュールを運用している。
外科手術チーム（第三章）.