安全关键软件开发与审定 DO-178C标准实践指南

收藏
  • 【作者】(美)Leanna Rierson著;崔晓峰译
  • 【关键词】软件开发 安全技术
  • 【出版社】电子工业出版社
  • 【出版日期】2015
  • 【ISBN】978-7-121-25992-0
  • 【中图分类号】 TP311.522
  • 【内容简介】本书主要内容有在系统与安全性大视野中的软件;DO-178C标准的具体解释及如何有效使用;DO-178C相关的工具认定、基于模型的开发、面向对象技术、形式化方法标准文件;成功开发高安全软件及审定的实用建议;以及与高安全软件开发和验证相关的深入专题等。全部展开
  • 【页码】17,342页
  • 【丛书名】国防电子信息技术丛书
  • 【文献类型】图书
  • 【所属馆】

    浙江图书馆 杭州图书馆 上城区图书馆 上城区图书馆分馆 温州市图书馆 乐清市图书馆 宁波市江北区图书馆 更多 +

  • 【获取途径】
联合资源统一检索系统 超星 V2.0
已保存的题录(0)
选出输出字段:
加载保存列表...
清空文件夹
注:
通过勾选,使对应参与检索,从而可以轻松获得更全面的检索结果。