软件安全性需求形式化建模和验证
新华书店全新正版，极速发货，假一罚十，可开电子发票，请放心购买。
￥ 22.83 5.4折 ￥ 42 全新
库存5件
天津西青
认证卖家担保交易快速发货售后保障
作者李震
出版社江苏大学出版社
ISBN9787568401128
出版时间2019-11
装帧平装
开本32开
定价42元
货号1202013217
上书时间2024-10-18
- 在售商品 暂无
- 平均发货时间 15小时
- 好评率 暂无
商品详情
- 品相描述：全新
- 商品描述
-
目录
第1章绪论
1.1研究工作的意义
1.2国内外相关研究现状
1.2.1软件安全性概况
1.2.2软件安全性需求建模
1.2.3软件安全性需求验证
1.2.4自动化工具
1.2.5小结
1.3研究内容与创新
1.4结构框架
1.5本章小结
第2章基本概念和方法
2.1软件安全性
2.1.1软件安全性定义
2.1.2软件安全性需求定义
2.2形式化方法
2.2.1概述
2.1.2本体
2.1.3Petri网
2.2.4模型检验
2.2.5分析和说明
2.3本章小结
……
内容摘要
本书基于软件安全性领域内的非常不错标准和手册，将形式化理论和方法应用于软件安全性需求建模和验证工作中，以一个前后完整的需求建模和验证工作过程来体现形式化理论和方法对软件安全性需求建模和验证的支持能力，详细介绍了软件安全性需求的工作过程，以及形式化方法对软件安全性需求过程的支持方法。
相关推荐
— 没有更多了 —
以下为对购买帮助不大的评价