MARC状态：订购 文献类型：中文图书 浏览次数：6
- 题名/责任者:
- 复杂软件系统可信性分析与验证方法/符宁著
- 出版发行项:
- 西安:西北工业大学出版社,2022.08
- ISBN及定价:
- 978-7-5612-8297-7/CNY48.00
- 载体形态项:
- 129页:图;26cm
- 中图法分类号:
- TP311.5
- 提要文摘附注:
- 本书以开放网络环境下复杂软件的可信性需求为背景，系统的研究和论述复杂软件系统的可信性分析与验证的关键性理论和技术问题。重点论述了复杂软件系统及其组合可信性质评价方法、软件系统过程建模与验证、软件系统过程可信性质建模与分析、组合软件多维可信可信性保障方法等问题。
- 使用对象附注:
- 软件可靠性研究人员
全部MARC细节信息>>