HOMELv005 OCLにおいて、事前条件（precondition）および事後条件（postcondition）で、操作実行前の属性値を参照するために使用するキーワードはどれか。 2026年1月25日 事後条件式の中で、操作実行前の値と比較する場合、属性名の後に「@pre」を付けて参照する（例：balance = balance@pre + amount）。 テンプレートクラス（パラメタライズドクラス）のバインディング（実体化）を表す関係のステレオタイプはどれか。 アクティビティ図における「パラメータセット（Parameter Set）」の役割はどれか。
