翻译与本地化工程是利用计算机软件工程技术对翻译和本地化的产品进行分析和信息转换的技术。本书介绍翻译与本地化工程的基础知识，根据翻译和本地化项目的业务特征，详细论述软件、联机帮助、文档、多媒体等典型业务的本地化工程技术，介绍本地化工程管理与过程改进方法，提高学生应用计算机软件技术从事翻译和本地化工作的能力，增强学生处理翻译和本地化复杂项目的实践经验。
本书选取并介绍了三种代表性的形式化方法，它们分别是以集合论和一阶谓词演算为基础的Z语言，以时态逻辑为基础的XYZ，还有以直觉数学学派为基础的类型理论。 本书既可以作为计算机专业的研究生的形式化课程教材，又可以用作专业人员的参考书。虽然真正从事形式化方面的工作的人员不多，但是有必要通过对该课程的学习，使学生在理论、技术和方法上都得到了系统而有效的训练，有利于提高软件人员的素质和能力。
全书共分为8章。第1章主要介绍了互联网及其安全技术的发展，以及本书的研究内容和主要贡献。第2章提出了一种重量级的Web跨域认证与数据共享方案。该方案基于一致性哈希在认证服务器的环形空间上的虚拟节点之间建立了映射关系，允许以小的代价增加或移除认证服务器，具有较强的负载均衡能力和较好的冗余机制。第3章提出了一种中量级的Web跨域认证与数据共享方案。该方案实现跨域认证、数据传输。第4章提出了一种轻量级的Web跨域认证与数据共享方案。该方案采用易用模型实现跨域认证。第5章提出了一种适用于大规模认证域的跨域认证模型。该模型基于超立方体的结构特征支持不同信任域间实体的双向认证，减少了认证服务器间注册的工作量，简化了认证服务器间共享密钥的分配和管理工作。第6章提出了一种适用于复杂认证域的支持双向认证的跨异构域
《精益开发实战：用看板管理大型项目》从实践角度展示如何使用看板管理大型项目。书中内容共分为两大部分。部分是案例研究，讲述看板和精益原则在具体项目中的运用；第二部分是技术详解，详细介绍部分提到的因果图等实践做法。 《精益开发实战：用看板管理大型项目》适合软件开发组织中的项目团队主管、经理和其他变更负责人，也适合一切对敏捷开发感兴趣的人士。
本书面向Altium Designer6的初、中级用户，通过具体的操作实例，全面系统地介绍了Altium Designer6的特点、基础知识和具体应用，主要包括基础知识、原理图、元件库、PCB设计、PCB高级命令等。书中的每一个实例都分为[操作步骤]和[操作结果]两部分讲解，结构清晰、语言简练，是电子、自动化设计等专业人士学习Altium Designer6的重要参考。 本书可供Altium Designer 6软件的使用者阅读参考。
自动化测试已经不是一个新名词，随着一些自动化测试工具的出现并且进入国内，自动化测试行业的发展很快。本书对开源自动化测试工具Selenium进行了详细介绍，帮助读者熟练掌握Selenium的使用方法。 《Selenium测试实践：基于电子商务平台》将电子商务平台下的Selenium测试技巧通过具有代表性的实例分析，深入浅出地把相关概念和知识点展现给读者。《Selenium测试实践：基于电子商务平台》主要内容包括软件测试的基础、Selenium自动化测试基础知识、IDE安装及介绍、Selenium脚本编写环境的搭建、脚本元素定位实例学习、Selenium中Action命令实例学习、Selenium中Accessors命令实例学习、Selenium中Assertions命令实例学习、Selenium项目实践操作等。 《Selenium测试实践：基于电子商务平台》可作为刚进入性能测试领域的测试工程师的入门参考书，对已经有一定性能测试经
自动化测试已经不是一个新名词，随着一些自动化测试工具的出现并且进入国内，自动化测试行业的发展很快。本书对开源自动化测试工具Selenium进行了详细介绍，帮助读者熟练掌握Selenium的使用方法。 本书将电子商务平台下的Selenium测试技巧通过具有代表性的实例分析，深入浅出地把相关概念和知识点展现给读者。本书主要内容包括软件测试的基础、Selenium自动化测试基础知识、IDE安装及介绍、Selenium脚本编写环境的搭建、脚本元素定位实例学习、Selenium中Action命令实例学习、Selenium中Accessors命令实例学习、Selenium中Assertions 命令实例学习、Selenium项目实践操作等。 读者对象：本书可作为刚进入性能测试领域的测试工程师的入门参考书，对已经有一定性能测试经验的读者来说，也是一本整理思路、融会贯通的总结笔记。
本书为ISO9000内部审核员培训教程，汇集了作者多年的ISO体系推行和体系稽核工作经验，主要内容包括ISO9000族标准的发展史、质量管理体系——基础和术语、质量管理体系——要求、内部审核基础知识共四部分，对各个章节按照标准理解要点、内审员实操、内外部审核主要提供的审核证据、不合格案例、文件范例等内容进行编排。本书详细描述了体系工程师需要了解的ISO基础知识、内部稽核各标准条款涉及的内容及组织在ISO推行、实施过程中需要特别注意的工作内容。将ISO体系推行过程中可能遇到的问题和相关要求进行了详细描述，使读者对ISO推行工作有个直观的认识。
本书的结构遵循软件项目管理的一般过程顺序，分章节分别详述，重点突出四大管理模块，即开发管理、流程管理、质量管理和团队管理。结构清晰，令读者一目了然。内容包括软件项目启动、软件项目规划、软件项目实施、软件项目度量和质量、软件项目发表和结束、团队建设和软件外包项目管理。另外，附录还推荐阅读书目、软件项目管理常用工具，并列出软件项目管理中的英汉术语表等。通过阅读本书可以了解软件开发的管理，从而有效地对软件产品开发及外包业务进行评鉴、预估预算和做规划。 本书适用于与计算机和通信技术相关的软件工程技术人员、项目经理，也适合从事软件业务外包的公司技术人员和主管人士，以及国内外企业it部门的主管阅读。
《MSC.Nastran软件高级用户入门指南及工程应用实例》从有限元的基本概念入手，由浅入深地分析有限元软件解决实际工程问题的过程，建立了前处理软件MSC?Patran软件和MSC?Nastran软件输入文件之间的关系。对建立有限元模型的基本过程、基本方法和基本概念进行了详细介绍，将有限元软件解决实际工程问题的过程进行分解，对过程遇到的关键问题进行详细介绍，包括分析类型、单元库、载荷和边界条件、材料属性、单元特性、结果的输出控制以及出现问题的解决方法，对这些问题在MSC?Nastran输入文件中的卡片格式逐一介绍。通过对一个简单算例进行深入的剖析，使初学者感到简单易懂，然后列举了6个较难的练习实例，细致地描述了练习的每一个操作步骤，使初学者通过练习加强对知识的理解。《MSC.Nastran软件高级用户入门指南及工程应用实例》是入门性质的，内
《基于面向对象的软件分析与设计实验教程》是在《基于UML可视化设计实验教程》的基础上修订而成。全书分为两个部分。部分的核心任务是加强学生对面向对象方法学以及软件分析与设计过程方法学的理解，使学生对相关的基础理论、基本知识、主流技术方法有一个系统、完整、深刻、具体的认识。在第二部分，根据当前软件系统应用情况，选取了电子商务、网上书店、小型人力资源计划系统、小型信息管理系统、在线考试系统、考勤系统、个人理财系统等11个功能比较完善的案例，案例应用领域背景丰富，具有相对多个层次的技术复杂度，可适应不同层次的教学需求。本书由衣杨等编著。
本书基于敏捷原则从企业视角扩展Scrum过程，介绍了敏捷技术在高品质软件开发中的巨大潜力，并集成了软件开发中的精益原则与实践。作者深入探讨了浮现式设计并演示了应用这项技术如何实现有效的迭代开发。企业可以利用精益－敏捷方法进行“全局优化”和管理复杂的项目，提高开发人员的效率和软件的价值。本书的3位作者都是专家级项目管理顾问，他们从实践经验中收集、整理有用的建议、知识和技能，以帮助企业实施精益－敏捷项目管理。
如今软件的复杂程度及规模使编写安全、无缺陷代码异常困难，甚至对具有丰富经验的程序员也是这样。然而我们的日常工作对软件越来越依赖，软件已在几乎所有行业中普遍使用，以上这些意味着一个安全漏洞或者软件缺陷可能带来灾难。 采用非正式且业余的缺陷捕获方式是不可能写出优质软件来的，编写优质的软件要求用系统、规范的方法来防止、发现、报告缺陷。本书向读者展示了成为一名成功的软件测试员应做的工作，以确保在用户使用之前发现这些讨厌的缺陷。 本书主要内容： ●学习软件开发的通用方法。 ●了解如何把软件测试应用到软件开发过程中。 ●学习测试软件和发现缺陷的基本技术。 ●了解软件测试技术如何应用到任意类型、任意规模和任意复杂度的软件中。 ●了解为什么尽早地发现缺陷是测试的目的以及实现该目
本书主要包括数据库、数据结构和软件丁程的课程设计指导以及习题解答。具体介绍了课程设计的大纲、课程设计的基本要求、优秀课程设计示例和习题解答。通过这些内容的学习，可以丰富学生在课程设计中应掌握的基本知识，同时培养学生独立进行课程设计的能力。 本书可以配合数据库原理、数据结构(C语言版)、软件工程教材使用，起到衔接课堂教学与实践教学、课下辅导的作用，特别适合希望在较短时间内取得较大收获的广大研究生考生，可作为研究生入学考试的辅导材料，对于从事计算机应用及开发的技术人员以及广大计算机及相关专业的自学者也具有一定的参考价值。
本书共分12章，内容主要为：软件测试综述、软件测试过程与测试模型、黑盒测试与测试用例设计方法、白盒测试（静态分析与动态测试）的实用技术、单元测试（插桩技术、驱动模块等）方法、集成测试的方法、系统测试的方法、验收测试的方法、Web应用系统测试方法、软件测试工具LoadRunner以及上机实训等内容，针对测试的过程中的面向过程编程的测试方法和面向对象编程的测试方法分别进行了介绍。书中给出了大量的测试用例。知识讲解通俗易懂，由浅入深。 本书课时是按照64课时（包括上机实践）安排的，读者可以根据具体情况对内容选择，其中“第10章”“第11章”可以作为选择内容。
本书是QTP（Quick Test Professional）自动化测试从理论升华到实践的指导类书籍。本书由浅入深，从QTP的常用功能介绍到实际项目中的具体应用，后以发散性的思维介绍国内外对于QTP的新思路与新应用。本书介绍了几个典型的QTP使用技巧，并通过两个经典的QTP自动化测试框架来示范实际项目解决方案的建立，以供读者参考借鉴。 本书是笔者自动化测试多年工作经验的总结。初级自动化测试工程师可通过本书进一步提升业务水平；中高级自动化测试工程师可通过本书拓展思路；对于正在实施自动化测试的软件公司更具极高的参考价值。
晏峰*的《软件工程导论》是校企合作的成果， 教材的编写人员包括经验丰富的专业教师及具备丰富 开发经验的企业研发人员。全书共九章，分为四个部 分，**部分（**章）提出了作为一个软件工程师 必要的职业素质和成长之路，第二部分（第二章 第 六章）对软件项目开发进行了具体的阐述，包括开发 模型、系统分析与设计方法，软件体系结构、设计模 式、软件质量管理等。第三部分（第七、八章）具体 描述了软件项目管理和团队建设等方面内容。第四部 分（附录）对软件开发过程中所应用的基本分析设计 工具进行了简要说明。本书贴近软件工程的实际需求 ，适合于软件工程初学者。
本书在LabVIEW的编程平台上，根据土木工程、机械工程、环境工程和化学工程等工程技术人员的知识背景和认知习惯，讲解编程方法，使读者能通过短暂的学习，开发形象直观的程序，构建出实用的虚拟设备。 全书共分10章。第1～7章介绍LabVIEW基本编程操作；第8章从用户的角度介绍数据采集的概念和应用方法；第9章介绍工程仿真的编程技法，解读源程序语法和编程思想；第10章是一个完整的LabVIEW开发案例。随赠的源程序涉及物理、化学和生物等方面的知识，具有广泛的适用性。这些原创编程实例，充分体现了工程技术人员进行计算机仿真和可视化设计的实用技法，用户可以直接套用。 本书可作为理工科相关专业本科生和研究生的通用教材和教学参考书，也可供非计算机专业工程技术人员学习参考。
《软件项目管理方法与实践》以适应软件项目管理课程教学与软件项目管理实践为宗旨，以从项目立项、项目策划、项目执行到项目验收的软件项目生命周期所构成的内容为主线，在项目的执行过程中讲述了并行进行的进度、成本、质量、风险、配置和沟通管理等内容。 全书共10章，包括概论、立项、项目策划、进度管理、成本管理、质量管理、风险管理、配置管理、沟通管理、项目验收等。每一章的讲述大致分为三个部分，首先是理论知识的介绍，然后是实际操作和实践指导，后是案例分析。《软件项目管理方法与实践》体系完善、内容丰富、实例较多、实用性强，且每章均包含对实践技能和方法的归纳和总结，在软件项目管理实践中为读者提供可操作性的指导意见。 《软件项目管理方法与实践》可作为高等院校软件工程专业、项目管理类专业、信息管理
本书是百度质量部几位测试工程师以实际项目为依据，结合技术改进，讲解在大型公司中测试人员工作的主要内容，让读者从中了解具体测试工作的实际情况，从中受到启发，为自己的工作带来变化。 就Windows应用程序测试而言，本书除了阐述传统测试领域中的自动化测试、性能测试、稳定性测试外，还深入讲述了不同用户环境测试的方方面面：诸如兼容性测试、产品评测，以及用户界面功能测试的设计和执行方法。本书使用的案例介绍都来源于实际项目，适合于从事Windows客户端测试的同行及即将进入测试行业的大中专院校的毕业生阅读。
《ITSS实施之运维服务业务运营指南》根据ITSS标准体系框架，提出适用于IT服务商的IT运维服务业务运营管理方法，指导服务商实施ITSS运维服务的相关系列标准，帮助服务商将ITSS标准运用到自身的服务业务中以提升服务运营能力，从而完成运维服务产品的升级和改造，实现服务资源利用的*化和服务流程的标准化，终提升其在行业中的竞争力。 《ITSS实施之运维服务业务运营指南》分为四大部分，共计13章。部分概括IT服务行业的整体发展态势，重点阐述运维服务行业从传统运维服务向管理服务转变的趋势，并给出运维服务运营的整体方法； 第二部分重点面向普通服务商，为其提供对既有资源和流程管理规范的优化方法； 第三部分主要面向高级服务商，为其提供在客户体验管理、服务产品管理、知识管理和管理服务运营等方面的实践指南； 第四部分介绍IT Se
