机读格式显示(MARC)

• 000 01635nam 2200325 450

• 001 0000732743

• 005 20190403104000.0

• 010 __ |a 978-7-5165-1323-1 |b 精装 |d CNY170.00

• 100 __ |a 20180108d2017 em y0chiy50 ea

• 101 0_ |a chi

• 102 __ |a CN |b 110000

• 105 __ |a a a 000yy

• 106 __ |a r

• 200 1_ |a 可信嵌入式软件开发方法与实践 |A ke xin qian ru shi ruan jian kai fa fang fa yu shi jian |f 韩炜编著

• 210 __ |a 北京 |c 航空工业出版社 |d 2017

• 215 __ |a 529页 |c 图 |d 27cm

• 225 2_ |a 中航工业首席专家技术丛书 |A zhong hang gong ye shou xi zhuan jia ji shu cong shu

• 300 __ |a “十二五”国家重点图书出版规划项目

• 304 __ |a 中航工业科技与信息化部组织编写

• 312 __ |a 英文并列题名取自封面

• 320 __ |a 有书目 (第516-529页)

• 330 __ |a 本书介绍了可信嵌入式软件工程相关的概念、技术、方法和实践。全书共分为4个部分共23章。第1部分为概论，介绍了嵌入式系统和嵌入式软件的分类、特征和发展情况，并对可信性软件的相关基本概念、属性和需要关注的研究内容进行了描述。第2部分为通用的软件工程的阐述，分别对软件全生命周期模型、开发计划与策划、需求开发及管理等软件工程各个方面进行了详细论述。第3部分为机载软件及其工程化方法，重点介绍了机载共性软件适航标准DO-178、《军用软件研制能力成熟度模型》，以及机载软件知识库。第4部分为天脉操作系统的开发实践，对自行研制的天脉操作系统的开发实践进行了详细的描述。

• 410 _0 |1 2001 |a 中航工业首席专家技术丛书

• 510 1_ |a Method and practice of dependable embedded software development |z eng

• 606 0_ |a 软件开发 |A ruan jian kai fa |x 研究

• 690 __ |a TP311.52 |v 5

• 701 _0 |a 韩炜 |A han wei |4 编著

• 801 _0 |a CN |b HDUL |c 20190403

• 905 __ |a HDUL |d TP311.52/490

• 920 __ |a 233030 |z 1