HOMELv007 異なるプロジェクト間でMBTモデルを再利用するための工夫はどれか。 2026年3月13日 モデルを機能単位で部品(コンポーネント)化することで、類似システムへの展開が容易になる。 MBTが従来の手動設計よりも多くの不具合を見つける主な理由はどれか。 複雑なモデルの可読性を高めるために推奨される手法はどれか。