仕様アニメーション

仕様アニメーションは、仕様の実行を通して妥当性検査と検証を行う方法である。このため、開発現場の人間にも理解しやすい。