000
01803nam 2200301 450
001
CAL 012015089897
010
@ a978-7-121-25992-0@ dCNY89.00
100
@ a20160615d2015 em y0chiy50 ea
101
1
@ achi@ ceng
102
@ aCN@ b110000
105
@ aak a 000yy
200
1
@ a安全关键软件开发与审定@ Aan quan guan jian ruan jian kai fa yu shen ding@ eDO-178C标准实践指南@ d= Developing safety-critical software@ ea practical guide for aviation soft6ware and DO-178C compliance@ f(美) Leanna Rierson著@ g崔晓峰译@ zeng
210
@ a北京@ c电子工业出版社@ d2015.06
215
@ a17, 342页@ c图@ d26cm
225
2
@ a国防电子信息技术丛书@ Aguo fang dian zi xin xi ji shu cong shu
306
@ a由Taylor & Francis出版集团旗下, CRC出版公司授权出版
314
@ a责任者规范汉译姓: 瑞尔森
320
@ a有书目 (第331-342页)
330
@ a本书作者是DO-178系列标准的直接制定者之一。书中详细介绍了如何基于最新版本的DO-178C标准进行高安全软件开发, 既包括对标准的全面介绍, 又包括依据该标准进行开发和审定的实用指南 ; 既包含多年从事高安全软件研制、管理、审定工作的经验, 又包含相关最新软件技术的深入讲解。主要内容有: 在系统与安全性大视野中的软件 ; DO-178C标准的具体解释及如何有效使用 ; DO-178C相关的工具鉴定、基于模型的开发、面向对象技术、形式化方法 ; 成功开发高安全软件及审定的实用建议 ; 以及与高安全软件开发和验证相关的深入专题。
410
0
@ 12001 @ a国防电子信息技术丛书
500
10
@ aDeveloping safety-critical software : a practical guide for aviation soft6ware and DO-178C compliance@ mChinese
517
1
@ aDO-178C标准实践指南@ ADO-178C biao zhun shi jian zhi nan
606
0
@ a安全技术@ Aan quan ji shu@ x软件开发@ j指南
690
@ aTP311.52@ v5
701
1
@ a瑞尔森@ Arui er sen@ g(Rierson, Leanna)@ 4著
702
0
@ a崔晓峰@ Acui xiao feng@ 4译
801
0
@ aCN@ c20160615
905
@ a河南城建学院图书馆@ dTP311.52@ eR927@ f3
安全关键软件开发与审定：DO-178C标准实践指南= Developing safety-critical software：a practical guide for aviation soft6ware and DO-178C compliance/(美) Leanna Rierson著/崔晓峰译.-北京：电子工业出版社，2015.06 17, 342页：图；26cm.-(国防电子信息技术丛书) ISBN 978-7-121-25992-0：CNY89.00 本书作者是DO-178系列标准的直接制定者之一。书中详细介绍了如何基于最新版本的DO-178C标准进行高安全软件开发, 既包括对标准的全面介绍, 又包括依据该标准进行开发和审定的实用指南 ; 既包含多年从事高安全软件研制、管理、审定工作的经验, 又包含相关最新软件技术的深入讲解。主要内容有: 在系统与安全性大视野中的软件 ; DO-178C标准的具体解释及如何有效使用 ; DO-178C相关的工具鉴定、基于模型的开发、面向对象技术、形式化方法 ; 成功开发高安全软件及审定的实用建议 ; 以及与高安全软件开发和验证相关的深入专题。 ●
预约/预借
序号
登录号
条形码
馆藏地/架位号
状态
备注
1
1261219
212612190
自科库301/301自科库 47排5列4层/
[索取号:TP311.52/R927]
在馆
2
1261220
212612207
自科库301/301自科库 80排2列4层/
[索取号:TP311.52/R927]
在馆
3
1261221
212612216
自科库301/301自科库 80排2列4层/
[索取号:TP311.52/R927]
在馆
