在形式化B方法中，精化（Refinement）是一种数学表示法和若干规则的集合，它把Dijksart的卫式命令语言进行扩充，通过结合规约语句、精化规则和语言本身，用于从程序规约推导出命令式程序。这种程序精化(程序规约转换成可执行代码)可分为数据精化和算法精化两种形式化将程序逐步转换为更加便于实现的形式：数据精化把抽象的数据结构转换为可以高效实现的形式;算法精化将程序逐步转换为更加便于实现的形式，直至代码。
汽巴精化 Ciba Specialty Chemicals ; Ciba ; Ciba-Geigy
糊精化 dextrinization ; [生化] dextrinize ; dextrinate
逐步精化 [自] stepwise refinement
糊精化作用 [生化] dextrinization
模型精化 model elaboration ; Model refinement ; Refinement of model
职业专精化 job specialization
迪马精化 Dimachema
大日精化 Dainichiseika
精化区域 refinement zone
精化关系 refine
Moreover, an optimized refinement method is proposed for timed state sequence to reduce the extra state-interval tuples produced by the refinement.
此外，本文还对带时标的状态序列的精化过程提出优化方法，在一定程度上缩减了由精化产生的额外状态-区间对。
参考来源 - 基于实时规约的测试预言自动生成技术的研究·2,447,543篇论文数据，部分数据来源于NoteExpress
应用推荐