BDDでインターフェースブロックが持つことができるのはどれか。

2026年3月17日

インターフェースブロックはポートを流れるフロープロパティを定義できる。

SysMLの要求が「不変」であることを示すために用いられる図はどれか。

IBDで、あるパートが外部から隠蔽されていることを示すにはどうするか。