refinement and verification in component-based model-driven design

	refinement and verification in component-based model-driven design
	Chen Zhenbang; Liu Zhiming; Ravn Anders P.; Stolz Volker; Zhan Naijun
	2009
发表期刊	SCIENCE OF COMPUTER PROGRAMMING
ISSN	0167-6423
卷号	74 期号:4 页码:168-196
收录类别	其他
关键词	Formal Methods
部门归属	Chen, Zhenbang; Liu, Zhiming; Stolz, Volker UNU, IIST, Macao, Peoples R China. Ravn, Anders P. Univ Aalborg, Dept Comp Sci, Aalborg, Denmark. Zhan, Naijun CAS, Inst Software, Comp Sci Lab, Beijing, Peoples R China. Chen, Zhenbang Natl Lab Parallel & Distributed Proc, Changsha, Hunan, Peoples R China.
学科领域	Computer Science, Software Engineering
语种	英语
WOS记录号	WOS:000263616600002
引用统计	被引频次：29[WOS] [WOS记录] [WOS相关记录]
内容类型	期刊论文
URI标识	http://ir.iscas.ac.cn/handle/311060/7858
专题	基础软件与系统重点实验室
推荐引用方式 GB/T 7714	Chen Zhenbang,Liu Zhiming,Ravn Anders P.,et al. refinement and verification in component-based model-driven design[J]. SCIENCE OF COMPUTER PROGRAMMING,2009,74(4):168-196.
APA	Chen Zhenbang,Liu Zhiming,Ravn Anders P.,Stolz Volker,&Zhan Naijun.(2009).refinement and verification in component-based model-driven design.SCIENCE OF COMPUTER PROGRAMMING,74(4),168-196.
MLA	Chen Zhenbang,et al."refinement and verification in component-based model-driven design".SCIENCE OF COMPUTER PROGRAMMING 74.4(2009):168-196.