状態遷移記述に基づく手法で開発するのが最も効果的なものはどれか。