机读格式显示(MARC)

• 000 01887nam 2200325 450

• 001 0000227839

• 005 20230611150400.0

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

• 100 __ |a 20210119d2020 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 26cm

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

• 306 __ |a 由Taylor&Francis出版集团旗下的CRC出版公司授权出版

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

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

• 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.52 |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 人天书店 |c 20210119

• 905 __ |a GDPTC |d TP311.52/115