机读格式显示(MARC)

• 000 01895nam 2200325 450

• 001 0000538429

• 005 20210906184400.0

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

• 100 __ |a 20210114d2020 em y0chiy0110 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 (美)L. 瑞尔森(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 责任者规范汉译姓: 瑞尔森

• 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-178Cbiao zhun shi jian zhi nan

• 606 0_ |a 安全技术 |A an quan ji shu |x 软件开发 |j 指南

• 690 __ |a TP311.52-62 |v 5

• 701 _1 |c (美) |a 瑞尔森 |A rui er sen |c (Rierson, Leanna) |4 著

• 702 _0 |a 崔晓峰 |A cui xiao feng |4 译

• 801 _0 |a CN |b LIB |c 20210906

• 905 __ |a LIB |d TP311.52-62/6