ネットワークスペシャリスト 2012年 秋期 問25

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