机读格式显示(MARC)
- 010 __ |a 978-7-121-25992-0 |d CNY89.00
- 021 __ |a CN |b 01-2013-7215
- 099 __ |a CAL 012015089897
- 100 __ |a 20150722d2015 em y0chiy50 ea
- 200 1_ |a 安全关键软件开发与审定 |A An Quan Guan Jian Ruan Jian Kai Fa Yu Shen Ding |e DO-178C标准实践指南 |d = Developing safety-critical software |e a practical guide for aviation soft6ware and DO-178C compliance |f (美) Leanna Rierson著 |g 崔晓峰译 |z eng
- 210 __ |a 北京 |c 电子工业出版社 |d 2015
- 215 __ |a 17, 342页 |c 图 |d 26cm
- 225 2_ |a 国防电子信息技术丛书 |A Guo Fang Dian Zi Xin Xi Ji Shu Cong Shu
- 306 __ |a 本书由Taylor & Francis出版集团旗下,CRC出版公司出版
- 314 __ |a 责任者Rierson规范汉译姓: 瑞尔森
- 320 __ |a 有书目 (第331-342页)
- 330 __ |a 本书作者是DO-178系列标准的直接制定者之一。书中详细介绍了如何基于最新版本的DO-178C标准进行高安全软件开发,既包括对标准的全面介绍,又包括依据该标准进行开发和审定的实用指南;既包含多年从事高安全软件研制、管理、审定工作的经验,又包含相关最新软件技术的深入讲解。主要内容有:在系统与安全性大视野中的软件;DO-178C标准的具体解释及如何有效使用;DO-178C相关的工具鉴定、基于模型的开发、面向对象技术、形式化方法;成功开发高安全软件及审定的实用建议;以及与高安全软件开发和验证相关的深入专题。
- 410 _0 |1 2001 |a 国防电子信息技术丛书
- 510 1_ |a Developing safety-critical software : a practical guide for aviation soft6ware and DO-178C compliance |z eng
- 517 1_ |a DO-178C标准实践指南 |A DO-178C Biao Zhun Shi Jian Zhi Nan
- 606 0_ |a 安全技术 |A An Quan Ji Shu |x 软件开发 |j 指南
- 690 __ |a TP311.52-62 |v 5
- 701 _1 |a 瑞尔森 |A Rui Er Sen |g (Rierson, Leanna) |4 著
- 702 _0 |a 崔晓峰 |A Cui Xiao Feng |4 译
- 801 _0 |a CN |b NMU |c 20150722
- 905 __ |a XATU |d TP311.52-62/2