HOMELv010 要求の「検証(verify)」に使用されるモデル要素として不適切なものはどれか。 2026年3月17日 要求そのもので要求を検証することは論理的に成立しない。 パラメトリック図において「A = B + C」という制約を記述するのはどこか。 「車」ブロックのBDDで「タイヤ」パートの多重度を「4」としたとき、車1台につきタイヤは何個か。