知識とソフトウェアのギャップ、それをどう埋めるのか？

(via ぐーぐる via うのさんの日記)
昔に読んだような気がするのだけど、覚えてないので再度読み直すことにする。
ところでDbCを勉強するための良い書籍ってないですかね？できれば和書で。
もちろんEiffelとかでサンプルコードが書かれていないのを希望したいんですけど(^^;