仕様の漏れとかミスがなんで起こるかっていうと機械的な解析をしてないからだよ
例えば区分ごとに異なる処理が必要だったら区分ごとに仕様を定義したかチェックするツールを作ればいい
でも仕様書はチェックツールを書くのが大変
逆にコードの解析は驚くほど簡単だ
なのでわかってる人は仕様書なんて馬鹿なことを言ってないでまずコードを書けと言う