-
The tradition data refinement in Z is very complexity.
传统Z规约数据精化很复杂。
youdao
-
The process of software refinement include data refinement and process refinement.
规范语言的求精过程可分为数据求精和过程求精。
youdao
-
The process of software refinement include data refinement and process refinement.
规范语言的求精过程可分为数据求精和过程求精。
youdao