...切片准则 [gap=843]words：concurrent pmgranm~ing；~dtware model checking；program slicing；state space；slicing criterion ...
基于20个网页-相关网页
Besides efficiency, our approach overcomes the limitations of previous dynamic slicing methods, which have to redo if slicing criterion changes.
文中提供的动态切片方法还克服了以往动态切片方法的缺点，即动态切片不会因切片标准变化而重新计算。
Given an activity and variables referenced by this activity (called slicing criterion), one can analyze and obtain the process segment which influences the slicing criterion during process slicing.
流程切片是根据给定的活动和活动引用的变量(称为切片准则)，分析出在整个流程中能够影响切片准则的流程片段。
应用推荐