Institutional Repository
| partially introducing formal methods into object-oriented development: case studies using a metrics-driven approach | |
| Zheng Yujun; Wang Jinquan; Wang Kan; Xue Jinyun | |
| 2006 | |
| Conference Name | 14th International Symposium on Formal Methods |
| Pages | 190-204 |
| Conference Date | AUG 21-27, |
| Conference Place | Hamilton, CANADA |
| Indexed Type | SCI |
| Publish Place | HEIDELBERGER PLATZ 3, D-14197 BERLIN, GERMANY |
| Publisher | FM 2006: FORMAL METHODS, PROCEEDINGS |
| ISSN | 0302-9743 |
| ISBN | 3-540-37215-6 |
| Department | 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 |
| English Abstract | 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 |
| Sponsorship | Formal Methods Europe, Microsoft Res, Tourism Hamilton, SAP Labs France, Software Qual Res Lab, McMaster Univ, McMaster Univ, Fac Engn |
| Content Type | 会议论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/12150 |
| Collection | 基础软件与系统重点实验室 |
| Recommended Citation 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. |
| Files in This Item: | ||||||
| File Name/Size | DocType | Version | Access | License | ||
| partially introducin（429KB） | 开放获取 | -- | Application Full Text | |||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment