The process of software refinement include data refinement and process refinement.
规范语言的求精过程可分为数据求精和过程求精。
Here the refinement of SOZRSL specification is divided into structure refinement, data refinement and predicate refinement.
文中将SOZRSL规格说明的求精分解为结构求精、数据求精和谓词求精三部分。
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.
由于数据精化需要针对更大的程序块，所以，它比一般的算法精化更加复杂。
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.
由于数据精化需要针对更大的程序块，所以，它比一般的算法精化更加复杂。
应用推荐