仕様の完全性をどう担保するか