HOMELv012 SysMLの要求が「不変」であることを示すために用いられる図はどれか。 2026年3月17日 要求図自体は静的な関係を示すが、要求の内容は基本的にモデル内で固定される。 「あるシステムが他のシステムの機能を利用している」という依存関係の向きはどれか。 BDDでインターフェースブロックが持つことができるのはどれか。