由于数据精化需要针对更大的程序块，所以，它比一般的算法精化更加复杂。
Data refinement is hard to deal with in a refinement tool compared with ordinary algorithmic refinement, since data refinement usually has to be done on a large program component at once.
提出了一种从数据精化、过程精化、再数据精化的两次数据精化的形式化软件开发方法。
A formal software development method of using data refinement with two times is introduced, which from data refinement to process refinement then to data refinement.
为此，需要对数据进行精化或细分，以便显示清楚的值关系。
To do so requires refinement or segmentation of the data to look only at distinct value relationships.
应用推荐