OCLで「allInstances()」を使用して良いクラスは次のうちどれか。

2026年1月25日

無限の集合を持つ基本型にはallInstances()は使用できない。

モデル駆動開発において、モデルの正当性を数学的に証明する手法を何と呼ぶか。

UMLのメタモデルにおいて、ユースケース図の「拡張（Extend）」関係に付与される条件を保持するメタクラスはどれか。