主要内容：■确定用例和描述角色；■写出事件发生流程，包括基本路径和可选路径；■对用例的完整性与正确性做出评审；■用活动图和序列图表示用例；■将用户界面描述同数据描述文档结合起来；■测试设计与设计模式；■将用例应用到项目计划、原型构建和估算之中；确定并用图形表示用例中的分析类。本书致力于指出常见错误并提供解决方法，可以作为各种文档模板的集锦和UML符号的简易使用指南。本书适用于软件行业的从业人员。

本书深入介绍了macOS系统的软件安全、逆向分析与加密解密技术，主要包括macOS软件的开发基础、macOS系统工作机制、macOS软件调试接口与机制、二进制程序的格式、反汇编技术、逆向与动态调试技术、反破解技术以及系统安全与反病毒。 本书适合所有macOS平台软件开发工程师、信息安全专业学生、信息安全专业从业人员阅读学习。

本书介绍了一套已经得以完整构建的设计方法，涉及产品开发的各个领域，涵盖了从市场需求的探究、概念的产生和实现、竞争对手的分析、设计与工程的结合等各个方面，以大量的实例阐述了反向设计法与再设计等新的设计理论和方法。这套方法源自于许多工业方面的实例，研究重点在于产品的设计与设计要素的构成。从下达一项设计任务开始，就建立一个符合设计预想规范的功能模型。在其后的设计过程中，均以该功能模型为设计基础，将规范落实到设计的每一个步骤中。从而使设计师在保证利润的前提下能够创造性地、有效地解决产品开发的问题。

模式是可以复用的解决方案。本书从一个新的角度审视模式，提出了反模式的概念，介绍了在软件开发中常常出现的问题——将设计模式错误应用于不适当的上下文环境。首先，定义了软件开发参考模型和文档模板来说明这些反模式。然后，从开发人员角度、架构角度和管理角度三个方面对这些反模式逐一说明，并说明了与特定反模式相关的背景、原因、症状和后果，让读者可以迅速地检验身边的项目是否出现了这些状况，同时也针对每个反模式给出了相应的解决方案。 本书适用于从事项目管理和软件开发的相关人员。

贾乔迪亚等编著的《动态目标防御（Ⅱ博弈论与 对抗模型的应用）》着重介绍用以构建和分析动态目 标防御系统的博弈论、赛博机动以及 软件变化方法等三部分内容。部分主要阐述了软 件系统“攻击面”的概念 及度量方法，提出了确定动态目标防御策略的博 弈论方法；详细说明了将博 弈论运用到安全领域所面临的挑战；以Conficker蠕 虫病毒为案例，提出了对抗 动态学的观点；研究了将个人行为计算模型运用到非 合作动态网络安全环境下 所面临的困境。第二部分提出了使用机动密钥集实现 网络环境下赛博机动的新 策略；并以IPv6为基础，描述了为有线网络飞地设计 的一种加密动态学网络体 系结构。第三部分主要介绍了螺旋形变形防护系统的 设计、发展及应用；研究了 可实现软件栈多态化的插入NOP技术；最后研究 了就地代码化技术。 本书适合于信息安全

本书深入介绍了macOS系统的软件安全、逆向分析与加密解密技术，主要包括macOS软件的开发基础、macOS系统工作机制、macOS软件调试接口与机制、二进制程序的格式、反汇编技术、逆向与动态调试技术、反破解技术以及系统安全与反病毒。 本书适合所有macOS平台软件开发工程师、信息安全专业学生、信息安全专业从业人员阅读学习。

本书作为一本定位于手机软件测试技术的指导用书，从实际应用角度出发，以智能终端和3G业务规划为基础，系统地介绍了手机软件测试的各个主要方面。 全书包含三个部分共8章，部分包括章～第2章，从整体上介绍了手机设备软硬件的现状与趋势，以及手机软件测试用例设计的常用方法，给入门读者提供了必要的基础知识；第2部分包括第3章～第5章，即按照手机软件体系结构，从下到上分为操作系统、中间件和业务应用三个层次详细讲解了手机软件的测试技术；第3部分包括第6章～第8章，以指导实践为目标，分别对外场测试和一致性测试以及手机软件质量保证这些热门话题进行了展开和讨论，引导读者能够恰当地运用测试技术和测试工具，保障手机软件的高质量和高可靠性。

精益思想已在制造、卫生保健和建筑等诸多行业取得了的成效。敏捷软件开发更是让困境中的软件开发人员看到了曙光。本书揉合了两种思想的精髓，帮助读者将广为接受的精益原则转换为适应具体环境的敏捷实践，从而提高组织的软件开发能力。 本书为软件开发领域的开发经理、项目经理和技术主管编写，为其提供了大量的实用技术和思考方法。

本书分为软件基础入门与应用实例两大部分，全书共计17章节。1～11章节为软件基础入门，其内容以热仿真工作流程、建立模型、网格划分、求解计算、结果处理、优化设计和仿真模型校核为主。12～17章节为软件应用实例部分，其内容主要由BGA封装芯片、户外通信机柜、数据中心、智能手机、服务器六个应用实例组成。本书内容丰富、讲解详尽，在介绍FloTHERM软件的同时，也注重相关背景原理的阐述和软件实际应用的注意事项。其中软件基础内容多来自作者的多年积累和整理。仿真模型的校准作为热仿真分析的重中之重，本书中也进行了细致的阐述。应用实例内容涵盖软件不同的应用领域，对于软件使用者而言，具有很强的实际指导意义。本书可以作为电子设备热仿真工作者、热设计工程师和FloTHERM软件使用者的自学教材和参考书，同时也可以作为高等院校学生学习

本书主要讲述基于IEEE Std 1364—2001版本的Verilog硬件描述语言，着重讲述了如何Verilog进行数字系统的设计、验证及综合。根据数字集成电路设计的工程需求，本书重点关testbench的设计编写、验证和测试技术，深入讲述基于VerilogHDL的开关级、门级、寄存器传输(RTL)、行为级和系统级建模技术，从而使读者能尽快掌握硬件电路和系统的高效Verilog编程技术。书中把RTL描述、电路综合和testbench验证测试技术紧密结合，给出了多个从设计描述到验证的RTL数字电路模块和系统的设计实例。 本书的设计与讲解由浅入深，对于ASIC设计工程师来说，本书是一本非常好的自学教材，既适合高年级本科生作为教材，也适合研究生年的课程需求。作为本科生和研究的数字系统设计知识和计算机组织结构知识的补充，本书也很有价值。

设想把编程看成是转动曲柄从井里提一桶水上来的过程。如果水桶比较小，那么仅需一个能自由转动的曲柄就可以了。如果水桶比较大而且装满水，那么还没等水桶被提上来你就会很累了。你需要一个防倒转的装置，以保证每转一次可以休息一会儿。水桶越重，防倒转的棘齿相距越近。 测试驱动开发中的测试程序就是防倒转装置上的棘齿。一旦我们的某个测试程序能工作了，你就知道，它从现在开始并且以后永远都可以工作了。相比于测试程序没有通过，你距离让所有的测试程序都工作又近了一步。现在我们的工作是让下一个测试程序工作，然后再下一个，就这样一直进行。分析表明，要编程解决的问题越难，每次测试所覆盖的范围就应该越小。

本书共分5篇17章：篇“2000版9000族标准基础知识”是整本书的理论基础，全面系统地介绍了2000版 9000族的相关知识及其理解要点；第二篇“贯标过程”从实际工作经验出发，向企业展示整个贯标过程及其工作要领；第三篇“日常质量管理要点”为企业介绍在日常质量管理中应注意的各个方面，并为读者提供了一些文件模板；第四篇“项目质量生理”引入一门新兴学科——项目管理的相关概念和思路，并结合 9000标准条款介绍其在软件企业质量管理中的实用方法和工具，该篇与第三篇相结合，可为企业提供一套完整的质量管理体系；第五篇“质量管理方法”立足于软件企业，对从项目启动直至项目最终产品交付用户过程中可能涉及到的各种方法地简单介绍，而并不局限于质量控制的专用方法和工具，旨在使读者初步了解各种方法的概念、用途和基本使用方法。 本

《软件故事：谁发明了那些经典的编程语言》介绍了多种语言和软件的起源以及促进软件行业发展的重大成就，以传记体讲述了埋没于历史洪流却起到了关键作用的编程人员及其贡献，包括“存储式计算”早期出现的女性软件先驱的故事。 《软件故事：谁发明了那些经典的编程语言》内容主要包括：约翰· 巴克斯发明Fortran语言、约翰·麦卡锡设计Lisp语言、“COBOL之母”葛丽丝·霍普等人创建COBOL语言、肯·汤普森与丹尼斯·里奇开发Unix操作系统和C语言、托马斯·库尔兹与约翰·凯默尼开发BASIC语言、本贾尼·斯特劳斯特卢普开发C 、“Word之父”查尔斯·西蒙尼研发Word、阿兰·凯伊设计Smalltalk语言、安迪·赫兹菲尔德等研发Macintosh、钱柏林等创建SQL语言、詹姆斯·高斯林发明Java，等等。 《软件故事：谁发明了那些经典的编程语言》适合计算机相关从业人员及对软

《编写可读代码的艺术》写了细节决定成败，思路清晰、言简意赅的代码让程序员一目了然；而格式凌乱、拖沓冗长的代码让程序员一头雾水。除了可以正确运行以外，的代码必须具备良好的可读性，编写的代码要使其他人能在最短的时间内理解才行。《编写可读代码的艺术》旨在强调代码对人的友好性和可读性。《编写可读代码的艺术》关注编码的细节，总结了很多提高代码可读性的小技巧，看似都微不足道，但是对于整个软件系统的开发而言，它们与宏观的架构决策、设计思想、指导原则同样重要。编码不仅仅只是一种技术，也是一门艺术，编写可读性高的代码尤其如此。如果你要成为一位的程序员，要想开发出高质量的软件系统，必须从细处着手，做到内外兼修，《编写可读代码的艺术》将为你提供有效的指导。 海报：

在传统的异构网络环境中，运维人员往往利用各种复杂的监管工具来管理网络，由于缺乏一种集成安全运维平台，当遇到故障时总是处于被动“救火”状态，如何将资产管理、流量监控、漏洞管理、入侵监测、合规管理等重要环节，通过开源软件集成到统一的平台中，以实现安全事件关联分析，可从本书介绍的OSSIM平台中找到答案。 本书借助作者在OSSIM领域长达10年开发应用实践经验之上，以大量生动实例阐述了基于插件收集日志并实现标准化，安全事件规范化分类，关联分析的精髓，书中为读者展示的所有知识和实例均来自大型企业中复杂的生产环境，并针对各种难题给出解决方案。 全书共分三篇，10章：篇（~2章）主要介绍OSSIM架构与工作原理、系统规划、实施关键要素和过滤分析SIEM事件的要领。第二篇（第3~6章）主要介绍OSSIM所涉及的几个后台数据库，重点强

《C语言程序开发范例宝典》全面介绍了应用C语言进行开发的各种技术、技巧、实例、模块、游戏及项目等，《C语言程序开发范例宝典》全书共分34章，主要包括基础知识、指针、数据结构、算法、数学应用、文件操作、库函数应用、图形图像、系统调用、加解密与安全性、万年历模块、文秘办公模块、电话本模块、小熊时钟、打字游戏、弹力球游戏、快快吃豆游戏、贪吃蛇游戏、迷宫游戏、俄罗斯方块游戏、推箱子游戏、猜数字游戏、24点游戏、五子棋游戏、系统测试模块、硬件测试模块、制作学生信息管理系统、学生个人消费管理系统、火车订票系、通讯录管理系统、图书管理系统、企业员工管理系统、商品管理系统、网络通信程序等。《C语言程序开发范例宝典》全书共提供388个实例，每个实例都突出了其实用性。 《C语言程序开发范例宝典》既可作为C程

《工程师教育培养计划系列丛书：组态软件技术与应用》系统地阐述了工控组态软件的相关技术，并结合施耐德工控组态软件VijeoCitect7.10详细介绍了应用组态软件开发工控系统人机界面（OIS）的基本方法。全书分为17章，内容包括概述、使用前的准备、组态一个简单的工程、设计说明、通信设置、图形页面、命令和控制、精灵和超级精灵、设备管理、报警、事件、趋势、报表、累积器、菜单页面、安全性和模拟运行。全书内容全面，概念清晰，讲解通俗易懂，所选实例具有很强的实用性和先进性。 《工程师教育培养计划系列丛书：组态软件技术与应用》大多数章节还配置了相应的练习题供读者进一步理解和掌握基本概念及开发方法。