| 题名: | partially introducing formal methods into object-oriented development: case studies using a metrics-driven approach |
| 作者: | Zheng Yujun
; Wang Jinquan
; Wang Kan
; Xue Jinyun
|
| 会议名称: | 14th International Symposium on Formal Methods
|
| 会议日期: | AUG 21-27,
|
| 出版日期: | 2006
|
| 会议地点: | Hamilton, CANADA
|
| 出版者: | FM 2006: FORMAL METHODS, PROCEEDINGS
|
| 出版地: | HEIDELBERGER PLATZ 3, D-14197 BERLIN, GERMANY
|
| 收录类别: | SCI
|
| 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
|
| 主办者: | Formal Methods Europe, Microsoft Res, Tourism Hamilton, SAP Labs France, Software Qual Res Lab, McMaster Univ, McMaster Univ, Fac Engn
|
| 英文摘要: | 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 |
| 内容类型: | 会议论文
|
| URI标识: | http://ir.iscas.ac.cn/handle/311060/12150
|
| Appears in Collections: | 计算机科学国家重点实验室 _会议论文
|
| File Name/ File Size |
Content Type |
Version |
Access |
License |
|
|---|
| partially introducing formal methods into object-oriented development case studies using a metrics-driven approach.pdf（429KB） | -- | -- | 限制开放 | -- | 联系获取全文 |
|
| Recommended Citation: | |
Zheng Yujun,Wang Jinquan,Wang Kan,et al. partially introducing formal methods into object-oriented development: case studies using a metrics-driven approach[C]. 见:14th International Symposium on Formal Methods. Hamilton, CANADA. AUG 21-27,.
|
|
|
