エンベデッドシステムスペシャリスト 2014年 春期 問22

組込みソフトウェアなどの設計にも有効な技法であって、システムをプラットフォ ームに依存する部分と依存しない部分とに分けてモデル化することを特徴とする技法 はどれか。