HOMELv019 UMLのメタモデルにおいて、ステレオタイプが適用された要素から「タグ付き値」を取得するための仕組みはどれか。 2026年1月25日 ステレオタイプの属性（タグ）はメタモデル上ではPropertyとして定義される。 OCLにおいて、コレクション「Bag{1,1,2,2}」に対して「asSet()->size()」を実行した結果はどれか。 モデル駆動開発において、モデルの正当性を数学的に証明する手法を何と呼ぶか。
