《可信嵌入式软件开发方法与实践》高清PDF
作者: 韩炜编著
出版: 北京:航空工业出版社
页数: 529 ✅ 真实服务 非骗流量 ❤️
出版时间: 2017.09 (求助前请核对清楚)
求助编号:9 14450309 0 (学习资料 勿作它用)
求助格式:PDF(无水印/扫描版)我要投诉
重要说明:求助即说明同意《文件求助条款》 Word/doc、ePubb、mobi、PPT、TXT
《软件体系结构的方法及开发技术研究》高清PDF下载 刘娜著 2019.03
《软件实践教学模式的敏捷重构》高清PDF下载 商琦,刘正著 2019.05
《基于虚拟可信平台的软件可信性研究》高清PDF下载 郝瑞著 2017.05
《特色化软件人才培养模式的创新与实践》高清PDF下载 梁旭,黄明,关天民著 2016.03
《计算机软件课程设计与教学研究》高清PDF下载 邓达平著 2017.06
《组态软件实用技术教程》高清PDF下载 刘忠超,张燕,尉乔南编著 2016.08
《大数据时代数据仓库技术研究》高清PDF下载 王会举著 2016.12
《基于上下文的智能感知交互模式与系统》高清PDF下载 周筠,徐韬著 2015.11
《软件项目管理》高清PDF下载 刘凤华,任秀枝主编;赵一丁,罗菁副主编;郑人杰主审 2014.08
《软件技术发展趋势研究》高清PDF下载 朱仲英等编著 2011.01
本书从广泛的角度介绍了可信嵌入式软件工程相关的概念、技术、方法和实践。全书共分为4个部分共23章。第1部分为概论,介绍了嵌入式系统和嵌入式软件的分类、特征和发展情况,并对可信性软件的相关基本概念、属性和需要关注的研究内容进行了描述:重点阐述了软件自身的特点、导致软件不可信的因素和软件开发遇到的困扰;描述了软件工程基础知识,包括软件工程基本概念、基本原则和研究内容。第2部分为通用的软件工程的阐述,分别对软件全生命周期模型、开发计划与策划、需求开发及管理、软件架构设计技术、机载软件的设计、软件验证技术、软件质量保证、软件可信性评估、软件可靠性评估和软件安全性评估等软件工程各个方面进行了详细论述。第3部分为机载软件及其工程化方法,重点介绍了机载共性软件适航标准DO-178、《军用软件研制能力成熟度模型》,以及机载软件知识库。第4部分为天脉操作系统的开发实践,对自行研制的天脉操作系统的开发实践进行了详细的描述,其中包括天脉操作系统的研制策划、项目立项论证和研制总要求论证、软件计划过程和软件开发过程实践等。软件研制有很多工程化规定和指南,但是缺乏工程化的方法学指导,以及对软件工程全面的融会贯通的理解,本书能够为航空工业和其他领域从事高安全性系统设计的软件工作人员提供有用的参考资料。
提示:百度云已更名为百度网盘(百度盘),天翼云盘、微盘下载地址……暂未提供。