HOMELv057 MDAにおいて、特定のミドルウェアやプログラミング言語に依存した詳細モデルを何と呼ぶか。 2026年1月25日 PSM（Platform Specific Model）は、実装プラットフォームの技術仕様を反映したモデルである。 UML 2.5において、操作（Operation）が副作用を持たないことを示す属性はどれか。 OCLにおいて「Set{1,2,3}->forAll(e | e > 0)」を実行した際、対象が空集合「Set{}」の場合の結果はどれか。
