中国科学院机构知识库网格系统: 检索

消息 ×
	loading..

中国科学院机构知识库网格

Chinese Academy of Sciences Institutional Repositories Grid

机构

采集方式

_filter

_filter

_filter

筛选

浏览/检索结果: 共2条，第1-2条

帮助

条数/页：排序方式：
	a flexible transformation scheme between the or of bpmn and link of bpel 会议论文 OAI收割 3rd IEEE Asia-Pacific Service Computing Conference (APSCC 2008), Yilan, TAIWAN, DEC 09-12, Bai Lin; Wei Jun \| 收藏 \| 浏览/下载：18/0 \| 提交时间：2011/06/13 BPEL BPMN business process execution language business process modeling notation business requirements flexible transformation scheme multisemantic element nonstructured element semantic equivalence business data processing program interpreters programmin
	symbolic execution of program paths involving pointer and structure variables 会议论文 OAI收割 4th International Conference on Quality Software, Braunschweig, GERMANY, SEP 08-09, Zhang J \| 收藏 \| 浏览/下载：20/0 \| 提交时间：2011/07/29 array variables constraint solving technique path translation pointer structure variables program path analysis symbolic program path execution translation tool white-box testing constraint handling data flow analysis program interpreters progr