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.
由于数据精化需要针对更大的程序块，所以，它比一般的算法精化更加复杂。
应用推荐