MARC状态：审校 文献类型：中文图书 浏览次数：13
- 题名/责任者:
- 软件可靠性方法/(以) Doron A. Peled著 王林章 ... [等] 译
- 出版发行项:
- 北京:机械工业出版社,2012
- ISBN及定价:
- 978-7-111-36553-2/CNY45.00
- 载体形态项:
- xii, 196页:图;26cm
- 丛编项:
- 计算机科学丛书
- 个人责任者:
- 佩莱得 (Peled, Doron A.) 著
- 个人次要责任者:
- 王林章 译
- 个人次要责任者:
- 卜磊 译
- 个人次要责任者:
- 陈鑫 译
- 学科主题:
- 软件可靠性
- 中图法分类号:
- TP311.5
- 中图法分类号:
- TP311.5
- 题名责任附注:
- 题名页题其余译者: 卜磊, 陈鑫, 张天等
- 责任者附注:
- 责任者Peled规范汉译姓: 佩莱得
- 书目附注:
- 有书目 (第191-196页)
- 提要文摘附注:
- 本书通过大量的形式化表示和技术，向读者提供了各种用于提高软件可靠性的形式化方法，包括演绎验证、自动验证、测试以及进程代数。书中紧紧围绕逻辑和自动机理论这条主线，比较了各种方法的不同之处，并讨论了它们的优缺点。书中包含一些在多个章节中使用的、具有连续性的实例，有利于读者通过跟踪这些实例来了解不同形式化方法的优缺点。本书还包括大量的练习和项目，可以使用软件可靠性工具来完成。
- 使用对象附注:
- 适用于从事软件开发的广大读者，尤其适合作为高年级本科生和硕士生的教材和参考书。
全部MARC细节信息>>