正版现货新书 软件安全需求形式化建模和验 9787568401128 李震
全新正版现货，以书名为准，放心购买，购书咨询18931383650朱老师
￥ 27.95 6.7折 ￥ 42 全新
库存5件
作者李震
出版社江苏大学出版社
ISBN9787568401128
出版时间2019-11
装帧平装
开本32开
定价42元
货号1202013217
上书时间2024-10-13
- 在售商品 暂无
- 平均发货时间 9小时
- 好评率 暂无
商品详情
- 品相描述：全新
- 商品描述
-
目录
第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本章小结
……
内容摘要
本书基于软件安全性领域内的非常不错标准和手册，将形式化理论和方法应用于软件安全性需求建模和验证工作中，以一个前后完整的需求建模和验证工作过程来体现形式化理论和方法对软件安全性需求建模和验证的支持能力，详细介绍了软件安全性需求的工作过程，以及形式化方法对软件安全性需求过程的支持方法。
相关推荐
-
![正版现货新书 软件安全 9787115625748 邹德清 ... [等] 编著](https://www0.kfzimg.com/sw/kfz-cos/kfzimg/bfcacaea/be52c0f8635e5bce_s.jpg)
正版现货新书 软件安全 9787115625748 邹德清 ... [等] 编著
全新北京
￥ 83.04
-
正版现货新书 航天型号软件可靠安全设计 9787515919676 作者
全新北京
￥ 68.00
-
正版现货新书 软件安全技术 9787111601005 陈波,于泠
全新北京
￥ 59.25
-
正版现货新书 Android软件安全与逆向分析 9787115308153 丰生强
全新北京
￥ 48.17
-
正版现货新书 软件安全 9787563559657 徐国胜，张淼，徐国爱编著
全新北京
￥ 31.83
-
正版现货新书 密码软件实现与密钥安全 9787111679578 林璟锵 等
全新北京
￥ 59.25
-
正版 软件安全
八五品杭州
￥ 58.00
-
特价现货！软件安全技术
八五品鹤壁
￥ 15.35
-
【现货速发】软件安全
全新天津
￥ 80.40
-
正版现货新书 软件工程 9787111339496 瞿中
全新北京
￥ 31.50
— 没有更多了 —
以下为对购买帮助不大的评价