詳細化

詳細化（しょうさいか、Refinement）とは、形式手法において、抽象的な形式仕様記述から具体的な実行プログラムへと検証可能な変換を行うことである。段階的な詳細化として段階を踏んで詳細化を行うこともできる。