软件工程及软件方法学
-
Haskell并行与并发编程(英)Simon Marlow 著《Haskell并行与并发编程》深入浅出地介绍如何使用Haskell语言及相关的库和框架编写并行和并发程序。《Haskell并行与并发编程》用两个部分分别讲解并行Haskell编程和并发Haskell编程。根据编程模型的不同,并行部分介绍了3种并行编程方式:基于惰性求值的并行(Eval Monad及求值策略)、基于数据流的并行(Par Monad)以及面向大规模数组算法的并行(Repa数据并行编程和Acellerate GPU编程)。并发部分则按抽象层次由低到高分别涉及线程和MVar、重叠I/O、线程的取消和超时、软件事务内存、高级并发抽象、并发网络服务程序、使用线程并行编程和分布式编程等,最后还介绍调试、性能调优以及外部函数接口。书中包含大量可运行的代码示例,并附有详细的注释,读者通过亲身运行、修改和调试代码,可极大地加深对书中内容的理解。《Haskell并行与并发编程》适合有一定Haskell语言基础的程序员或者对并行或并发编程感兴趣的相关人员阅读。 -
CDN技术详解雷葆华,孙颖,王峰,陈晓益,蔡永顺,王志军本书内容包括CDN技术的发展历程、关键技术、商业化服务现状,以及对未来的发展展望,对构成CDN系统的关键功能模块GSLB、SLB、Cache进行了重点讲解,除技术原理之外,还对实现这些功能模块所涉及的一些协议和开发工具进行了讲解,希望能帮助读者了解CDN这项技术,并对CDN系统的设计和开发有一些初步的体会。 -
软件测试基础教程牛红,刘卫宏,唐国平 著本书由多年从事“软件测试”课程教学工作的教师和实际从事软件测试与管理工作的工程师合作编写,期望既能把丰富的软件测试教学经验和实践成果融入书中,又能将一线公司测试专家多年积累的经验和操作技巧奉献给读者。本书共8章,内容包括:软件测试概述、软件测试基础、软件质量与测试、软件测试技术和方法、软件测试类型、软件测试管理、软件测试自动化和工具以及单机版五子棋游戏测试实例。 -
程序员必读之软件架构(英)Simon,Brown 著; 邓钢 译通常,人们对软件架构师持两种错误的看法。有人认为软件架构师是一种高高在上的职位;有人认为软件架构师完全不懂开发,只是会画条条框框的指挥家。《程序员必读之软件架构》将打破这些传统的认知,模糊软件开发和架构在流程中的界限,进而为软件架构正名。《程序员必读之软件架构》是一本强调实践、注重实效、轻量级、面向开发者的软件架构指南。如果你是一名想成为软件架构师的程序员,那么《程序员必读之软件架构》就是为你准备的。 -
软件漏洞分析技术吴世忠,郭涛,董国伟 等著《软件漏洞分析技术》首先介绍了软件漏洞在当今社会所造成的影响,进而引出漏洞的基本概念,包括定义、特点、分类等,在此基础上总结了现今普遍应用的漏洞分析方法,并进一步将其划分为源代码漏洞分析、二进制漏洞分析、架构安全性分析和运行系统漏洞分析等4大类别;在后面的章节中对4大类漏洞分析技术所包含的具体技术从基本原理、实现方法、实例分析和典型使用等几个方面进行展开;并在最后对未来漏洞分析的前景进行了展望。 -
高速数字接口原理与测试指南李凯 著《高速数字接口原理与测试指南》结合作者多年从事高速数字设计和测试的经验,对高速数字信号的基本概念、测试原理进行讲解,同时结合现代计算机、移动设备、有线通信、航天设备里最新的高速数字接口,对其关键技术、测试方法等做详细介绍和总结,以便于读者理解和掌握高速数字接口的基本原理、实现技术、测试理念以及其发展趋势。本书主要分为两个部分: 上半部分是高速数字信号的基本概念和测量原理; 下半部分是常用高速数字接口总线的技术特点和测试方法。本书可供从事计算机、移动终端、有线通信、航空航天设备开发的工程人员了解学习高速数字总线的相关技术,也可供高校工科电子类的师生做数字电路、信号完整性方面的教学参考。 -
Android智能穿戴设备开发从入门到精通张明星,孙娇 著; 于先军 编本书循序渐进地讲解了在Android系统中开发穿戴设备的各种必备知识及其应用。书中几乎涵盖了Android穿戴设备应用开发方面的所有重点内容。全书共分14章,依次讲解了Android开发技术基础,Android技术核心框架分析,HTTP数据通信,使用Socket实现数据通信,下载远程数据,上传数据,传感器技术,人工智能技术,语音识别和手势识别,蓝牙技术基础,Android蓝牙模块详解,蓝牙4.0 BLE详解,以及智能心率计和计步器的设计全过程。 本书适用于Android初学者、Android应用开发、Android穿戴设备开发、Android底层开发人员和Android源码分析人员学习,也可作为培训学校和大中专院校相关专业的教学用书。 -
有效的单元测试Lasse Koskela 著本书分三部分,共9章。第一部分(第1~3章)主要阐述测试的目的与原因,并分析作为常用工具的测试替身的作用。第1章先从整体阐释测试先行所带来的价值,以及各种对测试和测试质量的影响。第2章定义了如何才能写出优秀的测试。第3章谈及现代程序员最基本的工具之一——测试替身。第二部分(第4~6章)的目标是帮助我们更好地识别并修复测试代码中的坏味道。第4章展示破坏测试可读性的坏味道。第5章继续对破坏可维护性的测试提供建议。第6章涉及有关脆弱或不可靠的测试坏味道。第三部分(第7~9章)涉及Java程序员在编写测试时随时可能碰到的话题。第7章介绍可测的设计的定义与作用。第8章探讨JVM语言的共生,以及如果用另一门语言来测试Java代码。第9章专门讨论对构建进行加速的问题。此外还包括两个附录,附录A介绍了使用JUnit编写测试的入门知识。附录B探讨通过JUnit的API来扩展其内置功能。 -
第一本Docker书(澳)James Turnbull 著; 李兆海,刘斌,巨震 译本书由Docker 公司前服务与支持副总裁James Turnbull 编写,是权威的Docker 开发指南。本书会指导读者完成Docker 的安装、部署、管理和扩展,带领读者经历从测试到生产的整个开发生命周期,让读者了解Docker 适用于什么场景。书中先介绍Docker 及其组件的基础知识,然后用Docker 构建容器和服务来完成各种任务:利用Docker 为新项目建立测试环境,演示如何使用持续集成的工作流集成Docker,如何构建应用程序服务和平台,如何使用Docker 的API,如何扩展Docker。本书适合对Docker 或容器开发感兴趣的系统管理员、运维人员和开发人员阅读。 -
单目视觉城市建筑物参数化三维建模杨淼《单目视觉城市建筑物参数化三维建模》是一部关于单目视觉建筑物三维重建方法的研究成果的系统专著,结合作者对图像处理、分析和三维重建等进行的研究,对从数码相机拍摄的建筑物图像中以参数化建模的方法恢复建筑物的三维几何结构进行了论述和探讨。《单目视觉城市建筑物参数化三维建模》内容完整、理论与实践相结合、阐述清晰、图文并茂,可供从事信号与信息处理、通信工程、信息工程、计算机科学与技术、电子科学与技术等领域的大学教师和科研工作者、研究生、大学本科高年级学生及工程技术人员参考使用。
