软件工程及软件方法学
-
软海拾贝杨芙清 著本书是杨芙清院士1996年到2012年期间在人才培养、科学研究和产业发展建言等三个方面的报告选集。全书精选了杨芙清院士在1996年到2012年期间在人才培养、科学研究和产业发展建言等三个方面的报告,共包含22篇报告,其中人才培养部分9篇、科学研究部分6篇、产业发展建言部分7篇。本书的整理出版,既是对杨老师教育理念的传承,更是为后辈学者们提供一个学习的机会。 -
软件工程师可信计算基础(美)莱特《可靠性维修性保障性学术专著译丛:软件工程师可信计算基础》为美国弗吉尼亚大学JohnKnight教授的最新著作,是计算机系统可信性领域的前沿著作。书中提出了一套完整的计算机系统可信性概念和术语体系,介绍了可信性需求、可信性分析、可信性评估的基本方法,并重点对错误、故障、威胁等相关概念进行了阐述和区分,详细讨论了故障避免、故障消除、容错和故障预测这四种故障处理措施,并配以大量的案例进行说明和分析。《可靠性维修性保障性学术专著译丛:软件工程师可信计算基础》不仅详细介绍了计算机系统可信性领域的相关概念、技术和方法.完整得提出了一套计算机系统可信性术语体系,还凝聚了作者多年从事软件可信性研究工作所获得的宝贵经验,对于国内正在兴起的可信性研究具有重要的指导意义和参考价值。 -
安全软件市场监管李欲晓,崔聪聪,杨晓波,田松林 著《安全软件市场监管》从网络、信息与软件安全的“看门人”安全软件着手,系统分析了安全软件对保障网络、信息与软件安全的重要性。通过梳理安全软件发展的现状及其存在的问题,提出应完善《反不正当竞争法》,强化安全软件企业的信息披露义务,完善市场准入和退出制度,强化行业自律,以维护公平有序的竞争秩序,从而强化安全软件保障网络、信息与软件安全的功能。《安全软件市场监管》可供网络与信息安全的从业者、互联网监管机构工作人员参考使用,并可作为信息安全、通信工程、计算机网络、信息系统工程等专业的本科高年级或研究生的参考用书。 -
台站地面综合观测业务软件用户操作手册中国气象局气象探测中心《中国气象局气象探测中心地面气象观测自动化系列丛书:台站地面综合观测业务软件(ISOS)用户操作手册》以台站地面综合观测业务软件所实现的功能和操作方法为基础,结合地面气象观测自动化业务特点及业务改革调整的各项技术规定编写而成。全书共分四部分24章,主要内容包括软件运行环境、采集(SMO)、业务(MOI)和传输(MOIFTP)。《中国气象局气象探测中心地面气象观测自动化系列丛书:台站地面综合观测业务软件(ISOS)用户操作手册》内容以软件安装、功能实现、业务流程、数据处理、数据上传、文件格式等为重点,旨在为使用新型自动气象观测设备的综合观测业务人员提供软件操作方法指南、业务处理依据和软件运行故障解决方法。 -
Puppet权威指南王冬生自动化运维领域的重磅之作,Puppet领域权威的、系统的、有深度的、极具企业实战价值的著作。腾讯高级运维工程师撰写,获得了来自腾讯、百度、阿里巴巴、新浪等多家世界级互联网企业的总监级运维专家的高度认可和联袂推荐。工欲善其事,必先利其器,在操作层面,本书从Puppet的基本功能到高级功能,再到二次开发均有详细分析,内容详尽而系统,能帮助读者全面掌握Puppet的使用;知其然,更要知其所以然,在原理层面,《Linux/Unix技术丛书:Puppet权威指南》从多个层面和角度分析了Puppet的工作原理,能让读者更深入理解和使用Puppet;好的经验是无价的,在应用层面,作者将自己几年来学习和应用Puppet积累的方法、技巧、最佳实践以及解决疑难问题的秘诀都毫无保留地奉献了出来,能让读者少走弯路,事半功倍;实践出真知,在实战层面,《Linux/Unix技术丛书:Puppet权威指南》给出了几个对企业很重要的、常见的综合性案例,不仅能帮助读者提高实战能力,还能给予他们解决这些问题的良好解决方案。 -
软件研发成本度量规范释义中国软件行业协会系统与软件过程改进分会 编《软件研发成本度量规范释义》(简称《释义》)一书共分为三章,包含了释义的编制说明、行标主要内容的释义以及标准的应用示例。第1章介绍了行标释义编写的背景、必要性和撰写原则。第2章是全书的重点,释义与标准中各条文一一对应,进行了详细的介绍和说明。第3章用一个示例贯穿了标准中提到的5个应用场景。在编写形式上,《释义》不同于行业标准,而是采用通俗易懂的语言来阐述标准编制的背景、方法和原理,并有重点地进行解释。按照标准章节顺序进行逐条释义,对行业标准的说明更清晰易懂。对于标准中不需要解释的部分,依然会原文复制,保证了释义的完整性。最后用一个大的示例贯穿整个标准的应用场景。《软件研发成本度量规范释义》预期读者为软件企业内从事项目管理、质量管理、过程改进等工作的人员;行业用户如电子政务、金融、能源、电信、制造等行业用户的采购部门、信息管理部门、科技部门、计划部门、审计部门的从业人员;第三方机构中从事项目监理、估算相关培训、咨询的人员,研究机构、各大高校从事软件质量、过程改进相关研究的人员等。 -
性能测试进阶指南51Testing 软件测试网本书是一本基于HP LoadRunner 11工具的指导用书,从性能测试原理到工具使用再到项目实施,全面介绍了性能测试的各个方面,其内容基本主线说明如下。第一步(了解理论):“磨刀不误砍柴工”,打下基础;第二步(掌握工具):深入介绍LoadRunner 11工具三大部分(Virtual User Generator、Controller、Analysis)如何实现用户行为的模拟、性能指标的监控、负载的生成及后期的数据分析;第三步(项目实施):理论联系实际,介绍性能测试项目实施的流程和性能测试部门的组织管理;第四步(进阶提升):对一些当下流行的协议开发技巧及性能进阶中所需要的部分监控及调优经验进行介绍。 -
3D打印John Biehler,Bill Fane 著,陈启成 译本书分为四部分。第一部分(包括第1~2章)介绍3D打印的基础知识,涉及3D打印的历史与演进,并介绍3D打印机的基本工作原理,以及两种主要的3D打印机类型。第二部分(包括第3~9章)介绍使用123D工具进行3D模型设计,涉及iPad版123DCreature、123DCatch、iPad版123DDesign、123DDesignMac和PC版等工具软件的使用方法与技巧,并且介绍了成功打印3D模型的技巧。第三部分(包括第10~14章)介绍使用AutoCAD和Inventor进行3D打印,分析了曲面模型与实体模型之间的差异、使用3D打印的原因及方法、如何设计易于打印的零件、为打印预装配组件设计组合模型以及输出模型到3D打印机等内容。第四部分(包括第15~16章)介绍使用第三方3D打印服务商的服务,涉及利用第三方3D打印服务商打印服务的方式与方法。第17章展望了3D打印的未来趋势。 -
轻松玩转ARM Cortex-M3微控制器刘波文 编著本书以ARM Cortex M3内核LPC1788微控制器为讲述对象,分成基础篇、入门篇、进阶篇,覆盖了LPC1788微控制器基本外设应用、嵌入式实时操作系统μC/OS II、μC/OS III、FreeRTOS、TCP/IP协议栈LwIP、μIP,以及嵌入式图形系统μC/GUI的应用,软件与硬件兼顾,涉及理论但更偏重于实践。全书共分为20章,所讲述的18个实例涵盖了最常用的外设以及典型的应用,实例设计中软件架构清晰,层次分明,跨平台可移植性强。本书可作为高等院校计算机、电子信息工程、自动控制等专业本科生、研究生的嵌入式系统教材,也可供从事ARM和嵌入式软件开发的科研人员、从业人员和高等院校师生使用。 -
树莓派Python编程指南(美)Alex Bradbury,Ben Everard 著,王文峰 译资深Linux极客撰写,系统且深入地阐释了使用树莓派学习Python软件开发游戏、多媒体等的工具、方法、原则和最佳实践。对各种Python常见开发问题进行深入分析,包含大量实践案例,可操作性强,能为用户使用树莓派高效编写Python程序提供有效指导。本书共12章。第1~3章深入介绍如何在树莓派上使用Python,为学习后面的章节打下基础。第4章介绍使用Qt工具包开发图形用户界面。第5章介绍在Python中创建游戏。第6章介绍如何利用GPU来使用OpenGL创建3D场景。第7章如何从网页上抓取信息或使用树莓派为全世界提供内容和服务。第8章介绍使用Python在树莓派中构建自己的游戏世界。第9章使用Python在树莓派中构建自己的多媒体中心。第10章介绍使用Python在树莓派中构建Linux脚本。第11章介绍使用Python编程树莓派的GPIO。第12章介绍使用Python在树莓派中测试与调试程序。
