抽象モデルをより具体的な実装に近いモデルへ変換するプロセスを何と呼ぶか。

上位の抽象的な仕様から、テスト実行可能な具体的なモデルへと段階的に詳細度を高めていく。