partially introducing formal methods into object-oriented development:     case studies using a metrics-driven approach

	partially introducing formal methods into object-oriented development: case studies using a metrics-driven approach
	Zheng Yujun; Wang Jinquan; Wang Kan; Xue Jinyun
	2006
会议名称	14th International Symposium on Formal Methods
页码	190-204
会议日期	AUG 21-27,
会议地点	Hamilton, CANADA
收录类别	SCI
出版地	HEIDELBERGER PLATZ 3, D-14197 BERLIN, GERMANY
出版者	FM 2006: FORMAL METHODS, PROCEEDINGS
ISSN	0302-9743
ISBN	3-540-37215-6
部门归属	Syst Engn Inst Engineer Equipment, Beijing 100093, Peoples R China. Chinese Acad Sci, Inst Software, Beijing 100080, Peoples R China. Acad Armored Force Engn, Beijing 100072, Peoples R China. Jiangxi Normal Univ, Coll Comp Informat & Engn, Nan
摘要	Among researchers and practitioners, there are disputations about whether, where, and to which degree formal methods worth their cost. Based on our experiences of industrial software projects over the last years, we develop an empirical approa
主办者	Formal Methods Europe, Microsoft Res, Tourism Hamilton, SAP Labs France, Software Qual Res Lab, McMaster Univ, McMaster Univ, Fac Engn
内容类型	会议论文
URI标识	http://ir.iscas.ac.cn/handle/311060/12150
专题	基础软件与系统重点实验室
推荐引用方式 GB/T 7714	Zheng Yujun,Wang Jinquan,Wang Kan,et al. partially introducing formal methods into object-oriented development: case studies using a metrics-driven approach[C]. HEIDELBERGER PLATZ 3, D-14197 BERLIN, GERMANY:FM 2006: FORMAL METHODS, PROCEEDINGS,2006:190-204.

条目包含的文件
文件名称/大小	文献类型	版本类型	开放类型	使用许可
partially introducin（429KB）			开放获取	--	请求全文