中国科学院软件研究所机构知识库(ISCAS OpenIR): Search Results

Item hits: (Results 1-8 of 8)

Items/Page: Sort:
	Eliciting dependability requirements: A control cases based approach [期刊论文] Science China Information Sciences, 2014-01-01, 卷号: 57, 期号: 1, 页码: 1-15 Liu, Chun (3); Wang, Yue (3); Zhang, Wei (1); Jin, Zhi (1)
	"Use case+control case" driven approach for software analysis and design [期刊论文] Ruan Jian Xue Bao/Journal of Software, 2013-01-01, 卷号: 24, 期号: 4, 页码: 675-695 Liu, Chun (3); Zhang, Wei (1); Zhao, Hai-Yan (1); Jin, Zhi (1)
	Modeling and simulations of drop pinch-off from liquid crystal filaments and the leaky liquid crystal faucet immersed in viscous fluids [期刊论文] JOURNAL OF COMPUTATIONAL PHYSICS, 2013-01-01, 卷号: 236, 页码: 1-14 Yang, Xiaofeng; Forest, M. Gregory; Li, Huiyuan; Liu, Chun; Shen, Jie; Wang, Qi; Chen, Falai
	knowledge guided software trustworthiness requirements elicitation [期刊论文] Jisuanji Xuebao/Chinese Journal of Computers, 2011-01-01, 卷号: 34, 期号: 11, 页码: 2165-2175 Wang Yue; Liu Chun; Zhang Wei; Jin Zhi
	soundness verification and analysis of interorganizational logical workflow nets [会议论文] 2nd International Workshop on Education Technology and Computer Science, ETCS 2010, Wuhan, Hubei, China, 37321 Liu Wei; Du YuYue; Sun HaiChun; Yan Chun \|
	a fast algorithm for web service composition based on dynamic description logic [期刊论文] Information Technology Journal, 2010-01-01, 卷号: 9, 期号: 6, 页码: 1150-1157 Liu Wei; Du Yu Yue; Guo Bao Qi; Yan Chun; Xu Qiang \|
	liveness analysis of parallel programs petri net models [会议论文] 2009 International Conference on Information Engineering and Computer Science, ICIECS 2009, Wuhan, China, 40878 Liu Wei; Du YuYue; Cui HuanQing; Yan Chun
	on privacy of property-based remote attestation [期刊论文] Tongxin Xuebao/Journal on Communications, 2009-01-01, 卷号: 30, 期号: 0.4583333333333333, 页码: 146-152 Li Shang-Jie; He Ye-Ping; Liu Dong-Mei; Yuan Chun-Yang \|


Email:
Passwd
验证:
	换一张
Have you forgotten your password? Stay signed in Log In