A program correctness verification method corresponding to decomposition diagram description of deterministic application programs is presented in this paper.
提出了针对决定性应用程序分割图描述的一种程序正确性验证方法。
You can decompose activities on an object model diagram by dragging it onto the object model diagram to create a functional decomposition.
您可以通过将活动拖拽到对象模型图创建一个功能性分解，来分解对象模型图上的活动。
Studying the design characteristics of the forming cutter, the paper presents the product characteristics based on the function decomposition with the product function diagram.
分析了成形刀具的设计特点，以产品设计功能分解图表达基于功能分解的产品特征。
应用推荐