- 题名/责任者:
- 软件安全性需求形式化建模和验证/李震著
- 出版发行项:
- 镇江:江苏大学出版社,2019
- ISBN及定价:
- 978-7-5684-0112-8/CNY42.00
- 载体形态项:
- 187页;21cm
- 个人责任者:
- 李震 著
- 学科主题:
- 软件可靠性
- 中图法分类号:
- TP311.5
- 提要文摘附注:
- 本书深入分析国内外公认的软件安全性领域相关的标准和手册，建立符合标准和可操作的软件安全性需求工作过程；将软件安全性需求分析和验证相关的工作纳入到有明确定义的形式化模型中进行描述，利用形式化理论和方法给予静态和动态的描述和验证；支持建模和验证工具原型的设计和开发；通过选取不同背景的人员采用人工分析和使用工具两种方法对实验软件的安全性需求进行验证；收集并分析了两种验证方法的实验结果，最终通过在典型的机载安全关键软件中的应用来进行实例验证。
全部MARC细节信息>>
| 索书号 | 条码号 | 年卷期 | 馆藏地 | 书刊状态 | 还书位置 |
| TP311.5/173 | 1764200 |  自然科学书库-四楼西北
|
可借 | 自然科学书库-四楼西北 | |
| TP311.5/173 | 1764201 | 自然科学书库-四楼西北
|
可借 | 自然科学书库-四楼西北 | |
| TP311.5/173 | 1764202 | 自然科学书库-四楼西北
|
可借 | 自然科学书库-四楼西北 |
显示全部馆藏信息