Institute of Networking Technology Beijing University of Posts and Telecommunications Beijing China;
BPEL static analysis:B-WSDL element:WSDL related:Finite State Machine:defect pattern;
机译:会话式Web服务:利用BPEL〜(light)来表达WSDL 2.0消息交换模式
机译:一种自动分析方法,可通过WSDL接口检测Web服务中的不一致情况
机译:在循环图上玩的雪堆游戏模型中的静态合作方偏导器模式
机译:BPEL中与WSDL相关的缺陷模式的静态分析方法
机译:从不确定性到错误:使用静态分析,统计方法和概率图形模型推断软件系统中的缺陷。
机译:静态与科学交流交付动态方法:对社交媒体科学用户参与的批判性分析
机译:基于RB法和独立分量分析的图案织物自动缺陷检测
机译:利用图案化掩模的横向过度生长来生长低缺陷,高纯度结晶层的方法