书目信息 机读格式(MARC)
复杂软件系统可信性分析与验证方法
| ISBN/价格： | 978-7-5612-8297-7:CNY48.00 |
|---|---|
| 作品语种： | chi |
| 出版国别： | CN 610000 |
| 题名责任者项： | 复杂软件系统可信性分析与验证方法/.符宁著 |
| 出版发行项： | 西安:,西北工业大学出版社:,2022.8 |
| 载体形态项： | 129页:;+26cm |
| 提要文摘： | 本书以开放网络环境中复杂软件的可信性需求为背景，研究和论述复杂软件系统的可信性分析与验证的关键性理论和技术问题，重点论述了复杂软件系统的可信性质评价方法、软件系统过程建模与验证、软件系统过程可信性质建模与分析、组合软件多维可信性保障方法等问题。 |
| 题名主题： | 软件可靠性 研究 |
| 中图分类： | TP311.5 |
| 个人名称等同： | 符宁 著 |
| 记录来源： | CN OLCC 20240109 |