软件工程及软件方法学
-
树莓派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在树莓派中测试与调试程序。 -
软件定义数据中心陈熹,孙宇熙《软件定义数据中心:技术与实践》从与软件定义数据中心有关的基本概念入手,通过实例介绍软件定义数据中心涉及的技术、应用、前景。在此基础上,深入介绍构建软件定义数据中心的计算、网络、存储、安全、自动化管理和高可用性等基本技术,并辅以解决方案和大型实例,力求使读者全面了解当前软件定义数据中心的技术动态和发展趋势,为实际构建软件定义数据中心提供必要的技术指导。《软件定义数据中心:技术与实践》适于作为数据中心分析、设计、研发、管理工程师的技术普及读物,亦可作为高等学校相关专业课程的教材或参考书。 -
单目视觉城市建筑物参数化三维建模杨淼《单目视觉城市建筑物参数化三维建模》是一部关于单目视觉建筑物三维重建方法的研究成果的系统专著,结合作者对图像处理、分析和三维重建等进行的研究,对从数码相机拍摄的建筑物图像中以参数化建模的方法恢复建筑物的三维几何结构进行了论述和探讨。《单目视觉城市建筑物参数化三维建模》内容完整、理论与实践相结合、阐述清晰、图文并茂,可供从事信号与信息处理、通信工程、信息工程、计算机科学与技术、电子科学与技术等领域的大学教师和科研工作者、研究生、大学本科高年级学生及工程技术人员参考使用。 -
Puppet权威指南王冬生自动化运维领域的重磅之作,Puppet领域权威的、系统的、有深度的、极具企业实战价值的著作。腾讯高级运维工程师撰写,获得了来自腾讯、百度、阿里巴巴、新浪等多家世界级互联网企业的总监级运维专家的高度认可和联袂推荐。工欲善其事,必先利其器,在操作层面,本书从Puppet的基本功能到高级功能,再到二次开发均有详细分析,内容详尽而系统,能帮助读者全面掌握Puppet的使用;知其然,更要知其所以然,在原理层面,《Linux/Unix技术丛书:Puppet权威指南》从多个层面和角度分析了Puppet的工作原理,能让读者更深入理解和使用Puppet;好的经验是无价的,在应用层面,作者将自己几年来学习和应用Puppet积累的方法、技巧、最佳实践以及解决疑难问题的秘诀都毫无保留地奉献了出来,能让读者少走弯路,事半功倍;实践出真知,在实战层面,《Linux/Unix技术丛书:Puppet权威指南》给出了几个对企业很重要的、常见的综合性案例,不仅能帮助读者提高实战能力,还能给予他们解决这些问题的良好解决方案。 -
第一本Docker书(澳)James Turnbull 著; 李兆海,刘斌,巨震 译本书由Docker 公司前服务与支持副总裁James Turnbull 编写,是权威的Docker 开发指南。本书会指导读者完成Docker 的安装、部署、管理和扩展,带领读者经历从测试到生产的整个开发生命周期,让读者了解Docker 适用于什么场景。书中先介绍Docker 及其组件的基础知识,然后用Docker 构建容器和服务来完成各种任务:利用Docker 为新项目建立测试环境,演示如何使用持续集成的工作流集成Docker,如何构建应用程序服务和平台,如何使用Docker 的API,如何扩展Docker。本书适合对Docker 或容器开发感兴趣的系统管理员、运维人员和开发人员阅读。 -
台站地面综合观测业务软件用户操作手册中国气象局气象探测中心《中国气象局气象探测中心地面气象观测自动化系列丛书:台站地面综合观测业务软件(ISOS)用户操作手册》以台站地面综合观测业务软件所实现的功能和操作方法为基础,结合地面气象观测自动化业务特点及业务改革调整的各项技术规定编写而成。全书共分四部分24章,主要内容包括软件运行环境、采集(SMO)、业务(MOI)和传输(MOIFTP)。《中国气象局气象探测中心地面气象观测自动化系列丛书:台站地面综合观测业务软件(ISOS)用户操作手册》内容以软件安装、功能实现、业务流程、数据处理、数据上传、文件格式等为重点,旨在为使用新型自动气象观测设备的综合观测业务人员提供软件操作方法指南、业务处理依据和软件运行故障解决方法。 -
软件工程师可信计算基础(美)莱特《可靠性维修性保障性学术专著译丛:软件工程师可信计算基础》为美国弗吉尼亚大学JohnKnight教授的最新著作,是计算机系统可信性领域的前沿著作。书中提出了一套完整的计算机系统可信性概念和术语体系,介绍了可信性需求、可信性分析、可信性评估的基本方法,并重点对错误、故障、威胁等相关概念进行了阐述和区分,详细讨论了故障避免、故障消除、容错和故障预测这四种故障处理措施,并配以大量的案例进行说明和分析。《可靠性维修性保障性学术专著译丛:软件工程师可信计算基础》不仅详细介绍了计算机系统可信性领域的相关概念、技术和方法.完整得提出了一套计算机系统可信性术语体系,还凝聚了作者多年从事软件可信性研究工作所获得的宝贵经验,对于国内正在兴起的可信性研究具有重要的指导意义和参考价值。 -
安全软件市场监管李欲晓,崔聪聪,杨晓波,田松林 著《安全软件市场监管》从网络、信息与软件安全的“看门人”安全软件着手,系统分析了安全软件对保障网络、信息与软件安全的重要性。通过梳理安全软件发展的现状及其存在的问题,提出应完善《反不正当竞争法》,强化安全软件企业的信息披露义务,完善市场准入和退出制度,强化行业自律,以维护公平有序的竞争秩序,从而强化安全软件保障网络、信息与软件安全的功能。《安全软件市场监管》可供网络与信息安全的从业者、互联网监管机构工作人员参考使用,并可作为信息安全、通信工程、计算机网络、信息系统工程等专业的本科高年级或研究生的参考用书。 -
软海拾贝杨芙清 著本书是杨芙清院士1996年到2012年期间在人才培养、科学研究和产业发展建言等三个方面的报告选集。全书精选了杨芙清院士在1996年到2012年期间在人才培养、科学研究和产业发展建言等三个方面的报告,共包含22篇报告,其中人才培养部分9篇、科学研究部分6篇、产业发展建言部分7篇。本书的整理出版,既是对杨老师教育理念的传承,更是为后辈学者们提供一个学习的机会。 -
软件研发成本度量规范释义中国软件行业协会系统与软件过程改进分会 编《软件研发成本度量规范释义》(简称《释义》)一书共分为三章,包含了释义的编制说明、行标主要内容的释义以及标准的应用示例。第1章介绍了行标释义编写的背景、必要性和撰写原则。第2章是全书的重点,释义与标准中各条文一一对应,进行了详细的介绍和说明。第3章用一个示例贯穿了标准中提到的5个应用场景。在编写形式上,《释义》不同于行业标准,而是采用通俗易懂的语言来阐述标准编制的背景、方法和原理,并有重点地进行解释。按照标准章节顺序进行逐条释义,对行业标准的说明更清晰易懂。对于标准中不需要解释的部分,依然会原文复制,保证了释义的完整性。最后用一个大的示例贯穿整个标准的应用场景。《软件研发成本度量规范释义》预期读者为软件企业内从事项目管理、质量管理、过程改进等工作的人员;行业用户如电子政务、金融、能源、电信、制造等行业用户的采购部门、信息管理部门、科技部门、计划部门、审计部门的从业人员;第三方机构中从事项目监理、估算相关培训、咨询的人员,研究机构、各大高校从事软件质量、过程改进相关研究的人员等。
