本书首先借助生活中的隐喻故事帮助读者建立“问题级需求”思考意识；接着通过一个需求变更处理实例阐释如何在日常需求工作中落实“业务驱动、用户导向的需求思想”；然后引出“组织应用类软件系统需求全景图”，帮助读者理解需求分析的四条主线：价值需求、功能需求、数据需求和非功能需求。本书可作为计算机软件专业本科生、研究生和软件工程硕士的软件需求分析教材，也可作为软件工程、软件开发管理培训的教材，更是一线项目经理、需求分析人员、甲方需求管理人员的参考书。
本书从PLC基础入门和工程实践出发，涵盖内容包括电气控制基础、S7-1500 PLC编程技术及项目应用实践。电气控制部分包括常用低压电器的工作原理及选型、电气控制电路的分析与设计等；PLC编程技术以西门子S7-1500 PLC为主线，详细介绍了S7-1500 PLC的硬件结构和指令体系，同时还介绍了西门子人机界面的相关设计方法，重点讲解了西门子TIA博途软件的使用，并将S7-1500 PLC系统的知识体系贯穿于PLC项目应用实践中。 本书可作为高等院校自动化、电气工程及其自动化、机器人工程、计算机科学与技术、机械设计制造及其自动化等相关专业的教材，也可作为工程技术人员培训及自学参考使用。
![基于模型的测试：一个软件工艺师的方法 [美]保罗·C.乔根森（PaulC.Jorgensen）,王轶辰,王 机械工业出版](http://img3m0.ddimg.cn/36/3/11638238670-1_l.jpg)
本书是的“Craftsman”系列软件测试书籍中的新作，主要讨论基于模型的测试（MBT）技术。第壹部分讲解理论知识，介绍了9种不同的测试模型。第二部分关注实践方法，涵盖6个商用的MBT产品和6个开源工具。书中设计了两个贯穿各章的例子，一个简单的保费计算系统，一个事件驱动的车库门控系统，以帮助读者深入理解建模过程和工具的应用技巧。
本书深入介绍了macOS系统的软件安全、逆向分析与加密解密技术，主要包括macOS软件的开发基础、macOS系统工作机制、macOS软件调试接口与机制、二进制程序的格式、反汇编技术、逆向与动态调试技术、反破解技术以及系统安全与反病毒。 本书适合所有macOS平台软件开发工程师、信息安全专业学生、信息安全专业从业人员阅读学习。
本书分为四个部分，每部分内容都由一个研究案例引出。部分介绍了如何保证系统的生存，即维护系统正常运行。第二部分介绍了如何衡量系统的容量，以及如何随时间来优化系统的容量。在第三部分讲述了架构师在为数据中心构建软件时应该思考的一般设计问题。第四部分讨论了系统的运行寿命，将其作为整个信息生态环境的一部分。书中代码采用的Java语言，熟悉编程的人都能轻易阅读。作者从Java和Unix的视角看问题，因而本书的焦点比较中立，着眼于跨所有平台的技术和概念。在每种模式和反模式的末尾，都有一段简短精要的总结。 本书适合面向企业级软件的架构师、设计师和开发人员阅读参考。
《测试反模式：有效规避常见的92种测试陷阱》系统归纳了在日常的开发过程中容易出现的92种测试陷阱，从描述、可能出现之处、典型症状、潜在的负面后果、潜在原因、建议和相关的陷阱等多个方面探讨了这些陷阱，可帮助测试人员、技术经理和其他利益相关者避免陷入这些陷阱、在陷入的时候识别这些陷阱，以及在逃脱陷阱的同时将负面后果最小化。 《测试反模式：有效规避常见的92种测试陷阱》共分4章：章讲解测试、缺陷和测试陷阱等重要概念，并介绍如何对测试陷阱进行分类和记录，以便能更容易地找到并理解它们；第2章总结了92种常见的测试陷阱，并对每种陷阱进行了简要介绍，以帮助读者轻松寻找并识别出相关的陷阱；第3章是本书的核心内容，详细讲解经常发生的92种测试陷阱，包括名字、描述、适用性、典型症状、潜在的负面后果、潜在原因和相
