HOMELv003 パラメトリック図において値プロパティと制約パラメータを結ぶ線はどれか。 2026年3月17日 バインディングコネクタは2つの等価な値を結び、制約式を適用させる。 シーケンス図において条件分岐(if-then-else)を表現するフラグメントはどれか。 要求の妥当性をテストケースなどで検証することを示す関係はどれか。