Java World (ジャバ・ワールド) 2005年 11月号の特集「テスト・ファーストによる設計」を読んで。形式手法というのはぜんぜんピンとこないんだけど、スペック記述としてのテストをモックを使いながら書いていくことで、実装に踏み込まずして実行可能な仕様を…