詳細化

読み方、または別称：

しょうさいか、Refinement

詳細化とは

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

• 出典: フリー百科事典『ウィキペディア（Wikipedia）』
• [ 詳細化の改定履歴 ]