传统Z规约数据精化很复杂。

The tradition data refinement in Z is very complexity.

youdao

由于数据精化需要针对更大的程序块，所以，它比一般的算法精化更加复杂。

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.

youdao

提出了一种从数据精化、过程精化、再数据精化的两次数据精化的形式化软件开发方法。

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.

youdao