• 1
  • 2
  • 3
  • 4
  • 5
  • 6
  • 7

软件安全性需求形式化建模和验证

  • 书名:软件安全性需求形式化建模和验证
  • 书号:978-7-5684-0112-8
  • 作者:李震 著者
  • 开本:1/32
  • 书类:学术专著
  • 定价:42元
详细介绍:


本书基于软件安全性领域内的权威标准和手册,将形式化理论和方法应用于软件安全性需求建模和验证工作中,以一个前后完整的需求建模和验证工作过程来体现形式化理论和方法对软件安全性需求建模和验证的支持能力,详细介绍了软件安全性需求的工作过程,以及形式化方法对软件安全性需求过程的支持方法。




版权所有:江苏大学出版社



地址:江苏省镇江市梦溪园巷30号(江苏大学梦溪校区)
电话:0511-84446464 邮编:212003