ドメインモデルを阻害する仕様書

トランザクションスクリプト的に記述した仕様書からドメインモデルを作ってもらうのは難しいよな。
設計書のような仕様書がかなり多い。*1
仕様書を書くトレーニングってあまりないんだよな。
DbC（Design by Contract）とか言うと難しく感じる人も多いし。
ビジネスアプリケーションであれば、少し乱暴だけど、事前条件はその処理で発生する業務エラーの条件、事後条件は変更されるデータベースの内容ぐらいで十分役に立つのだが。

*1:仕様書は基本的にWHATについて書く、設計書はHOWについて書くものだと思っています