分享给好友:
Advances in Computers: Highly Dependable Software - Advances in Computers Marvin Zelkowitz
Advances in Computers: Highly Dependable Software - Advances in Computers
Marvin Zelkowitz
Describes various approaches towards dependability: software development measurability, transformation oriented programming, Bounded Model Checking, GUI testing, history and lessons from software inspections, impact and problems related to errors in software, and the evolution of the various security policies.
392 pages, 75 illustrations
| 介质类型 | 图书 Hardcover Book (精装硬皮书) |
| 已发行 | 2003年8月8日 |
| ISBN13 | 9780120121588 |
| 出版商 | Elsevier Science Publishing Co Inc |
| 页数 | 392 |
| 商品尺寸 | 229 × 152 × 25 mm · 757 g |
| 编辑 | Zelkowitz, Marvin (University of Maryland, Department of Computer Science, College Park, USA) |