HOMELv019 モデル駆動開発において、モデルの正当性を数学的に証明する手法を何と呼ぶか。 2026年1月25日 形式検証（Formal Verification）は、モデルが仕様を満たしているかを論理的に証明する。 UMLのメタモデルにおいて、ステレオタイプが適用された要素から「タグ付き値」を取得するための仕組みはどれか。 OCLで「allInstances()」を使用して良いクラスは次のうちどれか。
