机读格式显示(MARC)

• 000 01912nam 2200337 450

• 001 0000815627

• 005 20210409121000.0

• 010 __ |a 978-7-121-40155-8 |b 精装 |d CNY139.00

• 100 __ |a 20210112d2020 em y0chiy50 ea

• 101 1_ |a chi |c eng

• 102 __ |a CN |b 110000

• 105 __ |a ak a 000yy

• 106 __ |a r

• 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 software and DO-178C compliance |f (美) Leanna Rierson著 |g 崔晓峰译 |z eng

• 210 __ |a 北京 |c 电子工业出版社 |d 2020

• 215 __ |a 18, 366页 |c 图 |d 27cm

• 225 2_ |a 国防电子信息技术丛书 |A guo fang dian zi xin xi ji shu cong shu

• 306 __ |a Taylor & Francis出版集团旗下，CRC出版公司授权出版 限中国大陆发行

• 314 __ |a 责任者Rierson规范汉译姓: 瑞尔森

• 320 __ |a 有书目 (第353-364页)

• 330 __ |a 本书以民用航空机载软件适航标准制定者的视角，详细介绍了如何基于目前最新版的DO-178C标准进行安全关键软件的开发与管理，给出了如何获得成功审定的实用指南。主要内容包括：在系统与安全大视野中的软件，DO-178C标准的深入解读和推荐实践，4个标准技术补充(软件工具鉴定、基于模型的开发、面向对象技术和形式化方法)的讲解说明，以及10个相关特别专题(未覆盖代码、外场可加载软件、实时操作系统、配置数据、软件复用和逆向工程等)的指导建议。

• 410 _0 |1 2001 |a 国防电子信息技术丛书

• 500 10 |a Developing safety-critical software : a practical guide for aviation software and DO-178C compliance |A Developing safety-critical software : a practical guide for aviation software and DO-178C compliance |m Chinese

• 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.522 |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 HDUL |c 20210409

• 905 __ |a HDUL |d TP311.522/124

• 920 __ |a 233030 |z 1