电火花加工（EDM）是特种加工技术的一种自主研发出多轴联动EDM数控系统软件，研制出国产化的并可用于工业生产环境的多轴联动EDM数控机床，对于打破国外垄断，推动我国多轴联动电火花加工数控设备关键技术的进步，推动我国航空、航天事业的发展具有很好重要的意义。

交互设计师需要一款简单、高效的矢量交互设计工具，本书以Sketch、Principle软件的使用作为基础，以完整项目实践为故事线，结合交互设计方法论的思考，让广大交互设计师、Sketch软件爱好者深入浅出地掌握软件使用方法，并快速应用到实战项目中。??《Sketch交互设计之美：从零基础到完整项目实现》共分为8章，1章为初识Sketch，主要介绍Sketch软件的特性和应用场景，通过该章的介绍，让读者初步了解软件的安装和使用方法；第2章为快速入门，结合具体的案例学习，让读者学会Sketch直线、钢笔、矩形等基本工具的使用，同时，对交互设计有一定的认知；第3章为基础运用，详细介绍界面设计的理论，并让读者掌握界面中图像、图标等元素的处理方法；第4章为高级运用，深入介绍Sketch核心高级功能Symbol的使用，剖析Sketch能成为交互设计工具的原理；第5章为团队协作，

本书是开源运动的独立宣言，它清晰、透彻和准确地描述了开源运动的理论与实际应用，对开源软件运动的成功和Linux操作系统的广泛采用都起到了至关重要的作用。本书在开源运动中的地位相当于基督教的，用黑客们的话说，这是“黑客藏经阁”的收藏。 本书并不只是在讲开源和黑客，所有关心软件开发和IT发展的人都应该花些时间通读全书，书中给出了大量充满智慧的观点和经过验证的概念，如命令体系、礼物文化、以少成多、内部市场、竞次、反公地模型、委员会设计、同侪声誉、模因工程、SNAFU现象、进化不利条件、软件业是服务行业、组织结构决定产品结构、准入门槛越低稳定性越高、程序员是资产而非成本等，这些内容会给你带来新的启示和思考。

本书是开源运动的独立宣言，它清晰、透彻和准确地描述了开源运动的理论与实际应用，对开源软件运动的成功和Linux操作系统的广泛采用都起到了至关重要的作用。本书在开源运动中的地位相当于基督教的，用黑客们的话说，这是“黑客藏经阁”的收藏。本书并不只是在讲开源和黑客，所有关心软件开发和IT发展的人都应该花些时间通读全书，书中给出了大量充满智慧的观点和经过验证的概念，如命令体系、礼物文化、以少成多、内部市场、竞次、反公地模型、委员会设计、同侪声誉、模因工程、SNAFU现象、进化不利条件、软件业是服务行业、组织结构决定产品结构、准入门槛越低稳定性越高、程序员是资产而非成本等，这些内容会给你带来新的启示和思考。

本书以软件复用中的资产管理和过程管理为核心展开，其中软件资产管理涉及了软件资产的描述、分类、存储、检索与维护的技术、方法和工具；软件复用过程管理则涉及了建立复用过程的相关指导原则和依照这些原则建立的一套相关过程的实例，包括角色定义、活动描述和制品模板等。本书内容理论联系实践，使得读者不仅可以系统化地学习软件资产管理和软件复用过程管理的相关方法和技术，也能结合本书的案例，掌握如何在基于构件的软件开发中有效地管理软件资产，以及如何有效地实行软件复用过程管理。

作为在一线摸爬滚打几十年的工程师，我们遇到过千千万万具体的问题，这些问题的解决往往具有的通用性，能够帮助读者解决很多问题，因此我们就有了出版这本《实用工具详解》的想法。我们在《实用工具详解》中创建了大量的实用工具，并从读者非常熟悉的具体问题出发，说明了解决这些具体问题的方法。这些实用工具包括数列工具、常用几何工具，等等。在这个基础上，我们针对电子、测试测量以及工业自动化专业创建了大量的相关工具，比如寄存器、触发器、比较器、定时器、计数器，等等。这些工具的实现原理，与相关的硬件基本原理是非常相似的，而且只要稍作修改就能应用到具体的工作、科研场景中。 《实用工具详解》中创建了多种常用的复杂数据结构工具，这些内容对于非计算机专业的工程技术人员来说，实现起来比较困难，但在实

《面向模式的软件架构卷5：模式与模式语言》共分3部分，首先介绍了单个模式，详细阐述了过去累积的关于如何描述和应用模式的诸多见解，接着探究了模式之间的关系，从组织的角度说明了各个模式的领域，最后介绍了如何将模式和模式语言相结合。 《面向模式的软件架构 卷5：模式与模式语言》适合软件架构师和开发人员阅读。

《基于AUTOSAR规范的车用电机控制器软件开发》主要介绍了汽车电子的近期新规范AUTOSAR，以及如何开发符合AUTOSAR规范的电机控制器软件的详细过程。全书分为基础篇和实战篇：基础篇介绍了汽车电子软件开发趋势，以及多核单片机和AUTOSAR的相关概念；实战篇介绍了利用Vector工具链基于AURIX单片机开发电机控制器的思路和步骤。《基于AUTOSAR规范的车用电机控制器软件开发》在编写中，力求内容正确，所有的内容都经过相关专家审阅，并经作者测试，步骤清晰，配图丰富。 《基于AUTOSAR规范的车用电机控制器软件开发》适合具有嵌入式软件开发基础知识的读者，可作为高等院校本科生、研究生学习嵌入式软件开发的参考书，也可供汽车电子行业软件工程师学习和参考。

《SysML精粹》全书共12章：章介绍基于模型的系统工程（MBSE）的概念，并提供学习SysML的情境和业务案例；第2章讨论为什么创建SysML，并介绍可以创建的9种SysML图；第3~11章详细说明9种SysML图（模块定义图、内部模块图、用例图、活动图、序列图、状态机图、参数图、包图、需求图）的细节，介绍可以在其中显示的元素和关系；2章介绍分配的概念——它是可以用于横跨9种SysML图关联元素的一种关系。

为编写实际的应用程序做好准备：无论你是为了进行软件开发还是进行其他领域的工作。《C 程序设计原理与实践(英文版)》假定你的最终目标是学会编写实际有用的程序。以基本概念和基本技术为重点：与传统的C 教材相比，《C 程序设计原理与实践(英文版)》对基本概念和基本技术的介绍更为深入。这会为你编写有用、正确．易维护和有效的代码打下坚实的基础。 用现代C 语言编程： 《C 程序设计原理与实践(英文版)》一方面介绍了通用的程序设计方法（包括面向对象程序设计和泛型程序设计）。另一方面还对软件开发实践中使用最广泛的程序设计语言——C 进行了很好的介绍。《C 程序设计原理与实践(英文版)》从开篇就开始介绍现代C 程序设计技术，并介绍了大量关于如何使用C 标准库来简化程序设计的内容。 适用于初学者以及任何希望学习新知识的人：

在中国，SPC理念和SPC知识已经不陌生，只是很多企业还没有用SPC软件工具来进行管理，而仅仅是在用手工绘图或在Excel中制作简单的图表来应付客户，这些企业都需要一个好的软件来代替手工繁琐的操作。而在其他的制造行业和服务业，SPC软件应用还是一片空白，这需要培育和引导。对于SPC软件本身而言，应该是主动的实施，应该与企业的实际情况相结合，解决企业的实际问题，为企业创造更多的利润。其实，大多数企业都了解SPC，只是没有得到很好的应用或没有找到适合的SPC软件，他们只是随意输入一些虚假数据，在Excel中制作一些好看的控制图或柏拉图，表示说本公司SPC应用得很好，以博得客户的欢喜或应付客户的检查。 这是一本SPC软件应用技术的实施指南，以丰富的案例，深入浅出地阐述了SPC的理论知识及各类控制图的绘制，内容丰富，案例经典，可成

《SysML精粹》全书共12章：章介绍基于模型的系统工程（MBSE）的概念，并提供学习SysML的情境和业务案例；第2章讨论为什么创建SysML，并介绍可以创建的9种SysML图；第3~11章详细说明9种SysML图（模块定义图、内部模块图、用例图、活动图、序列图、状态机图、参数图、包图、需求图）的细节，介绍可以在其中显示的元素和关系；2章介绍分配的概念——它是可以用于横跨9种SysML图关联元素的一种关系。

郝纳根编著的这本《功能共振分析方法复杂社会技术系统建模》所介绍的功能共振分析方法及其应用，突破了传统的如故障树等的安全性分析方法的局限性，着眼于大型系统在技术和管理方面的复杂性及其对于安全事故的影响；刻画功能耦合共振原理，并应用该原理解释系统为什么有时发生错误甚至事故；介绍功能共振分析方法如何用于模拟复杂和动态的社会技术系统的工作模式和过程。本书提出的功能共振分析方法思想新颖，理论超前，是近年中系统安全研究领域内一支生力军。根据2012年非常不错统计，在对449篇基于系统理论的事故模型相关的非重复学术文献及其476篇引用文献的整理情况来看，功能共振分析方法的影响力（被引用次数）排名第二位，在全部基于系统理论的事故模型中所占比重高达20％。

本卷为软件度量与评价卷，收入截至2011年5月发布的现行有效的软件度量与评价方面的国家标准20项，方便读者使用。

项目管理是现代管理学的重要组成部分，它是提高工作效率进而使项目获得成功的一套有效的方法。《软件项目管理》论述了软件项目及项目管理的基本概念，涉及从项目的启动、计划、执行到收尾阶段的整个项目生命期的要点。从项目管理的角度，对软件项目开发过程管理和软件项目后期管理的各个环节逐一进行分析。《软件项目管理》全书内容包括软件项目管理的概念、软件项目的需求管理、生命周期、可行性研究、人力资源管理、沟通管理、冲突管理、合同管理、时间管理、成本管理、风险管理、质量管理、配置管理、收尾管理等内容，同时在各个章节都附有具体案例，这些启发性的案例本身就是对软件开发项目管理的注解。在每章后面还配有思考与练习题，供读者复习巩固之用。 理论与实践相结合、实用性可

本书分为6篇。硬件篇就嵌入式软件开发所需掌握的处理器概念进行了介绍。工具篇对make、gcc编译器、bintuils工具集、ld链接器和gdb调试器进行了讲解，其中对make这一嵌入式开发环境的管家进行了精辟的介绍，致力于帮助读者成为Makefile方面的专家。编程语言篇致力于让读者更深入地理解C编程语言。操作篇通过循序渐进的方式介绍ClearRTOS的设计与实现，使得读者能透彻地理解操作的关键概念和实现原理。设计篇和质量保证篇通过实践的方式逐步展开讲解，以帮助读者获得一些实用的设计原则、实践和一套有效的质量保证方法论。

本书从一个软件产品线工程框架出发，阐述了与特定领域软件产品开发有关的领域工程和应用工程过程，介绍了过程中产生的各种工件、产品线可变性及其管理，以及两个工程过程之间通过不变与可变性所建立的联系。书中还包括与软件产品线有关的组织、管理及如何向软件产品线转变等内容。书中强调了软件产品线工程的基本原理、实践特点以及与单一系统开发的区别。尤其难得的是，为方便读者理解，书中在各章中使用了同一个产品来讲述具体的实例。 本书的作者为业内资深专家。全书结构严谨、条理清晰、图文并茂，是介绍软件产品线的著作。本书的读者为软件开发人员、测试人员、软件产品线研究者与大专院校师生。

《软件工程技术丛书：可信软件设计·开发健壮软件的工具、技术和方法》基于变革型领导力原则、学习型组织实践、企业内部结构管理以及质量管理策略和体系，总结出开发“健壮软件”的工具、技巧和方法论的一套框架-可信软件设计（DFTS）。《软件工程技术丛书：可信软件设计·开发健壮软件的工具、技术和方法》系统讲解开发可信软件面临的挑战，所使用的核心技术、软件框架、工具、方法和技巧，以及6个的研究案例，阐述软件质量管理的技巧和实践。 《软件工程技术丛书：可信软件设计·开发健壮软件的工具、技术和方法》分为五大部分，共27章。部分（～5章）介绍当今一些软件开发实践，以及在开发可信软件时，这些实践的缺点和受到的质疑，同时概述为开发可信软件所使用的软件框架，深入讲述两个关键的软件质量问题：可信软件的软件质量度量问