什么是精化介绍
精化是一个汉语词语，读音是jīnɡ huà，意思是男女在青春期发育成熟。
精化形式化B方法
在形式化B方法中，精化（Refinement）是一种数学表示法和若干规则的集合，它把Dijksart的卫式命令语言进行扩充，通过结合规约语句、精化规则和语言本身，用于从程序规约推导出命令式程序。这种程序精化(程序规约转换成可执行代码)可分为数据精化和算法精化两种形式化将程序逐步转换为更加便于实现的形式：数据精化把抽象的数据结构转换为可以高效实现的形式;算法精化将程序逐步转换为更加便于实现的形式，直至代码。
精化古代文言文
谓男女在青春期发育成熟。《韩诗外传》卷一：“故男八月生齿，八岁而龀齿。十六而精化小通。” 汉 刘向 《说苑·辨物》：“女七月而生齿，七岁而毁齿，二七十四而精化小通。”