>>213
でもどうだろう。
ソフトウェアの規模がでかくなるとそれに比例して
検証もむちゃくちゃ大変になるという。
そもそもそのような仕様記述ができると見込めるSEはどれだけいるのか？