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 |
| 会议日期 | AUG 21-27, |
| 会议地点 | Hamilton, CANADA |
| 页码 | 190-204 |
| 英文摘要 | 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 |
| 收录类别 | SCI |
| 会议主办者 | Formal Methods Europe, Microsoft Res, Tourism Hamilton, SAP Labs France, Software Qual Res Lab, McMaster Univ, McMaster Univ, Fac Engn |
| 会议录出版者 | FM 2006: FORMAL METHODS, PROCEEDINGS |
| 会议录出版地 | HEIDELBERGER PLATZ 3, D-14197 BERLIN, GERMANY |
| ISSN号 | 0302-9743 |
| ISBN号 | 3-540-37215-6 |
| 源URL | [http://124.16.136.157/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]. 见:14th International Symposium on Formal Methods. Hamilton, CANADA. AUG 21-27,. |
入库方式： OAI收割
来源：软件研究所
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。