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