《软件验证与确认》理论联系实际，由浅入深地对软件验证与确认的相关概念进行了介绍，并结合我国装备软件的研制过程对验证与确认过程进行了详细的阐述，本书对测试、评审和形式化验证等方法进行了介绍，并对当前装备软件研制中的软件测试过程进行了深入的探讨。另外，本书还从实践的角度出发介绍了软件验证与确认活动的自动化辅助工具以及过程文档模板，具有极强的工程参考价值。本书可供高等院校软件工程、计算机及相关专业的研究生作为学习参考，同时还可作为从事装备软件研发、软件测试以及软件验证与质量保证人员的工作参考书。

《软件测试设计》针对软件测试人员在测试设计过程中面临的各种问题，提出了“问题驱动的软件测试设计”方法。该方法将软件测试设计技术、测试设计中面临的问题和项目测试实践经验紧密结合，详细阐述了测试人员应该如何有效地开展软件测试设计活动。测试人员在测试设计过程中经常面临各种问题和挑战，主要包括几乎无穷的测试对象输入数据的组合、不同利益相关者对软件产品的不同质量要求、非常有限的测试时间和测试资源，以及不全、模糊且经常变更的需求规格说明等。问题驱动的软件测试设计方法从经典测试设计、基于质量特性的测试设计、基于风险的测试设计和基于经验的测试设计4个方面，系统地解决测试人员在测试设计过程中碰到的各种问题。《软件测试设计》适用于测试工程师、测试经理和质量改进人员阅读，也可以作为国际软件测试认证委员会（ISTQB）高级测试技术分析员和高级测试分析员的培训参考教材。

《LabVIEW 、MATLAB及其混合编程技术》系统介绍了LabVIEW与MATLAB这两种语言的基本使用方法、把它们结合在一起的混合编程技术、程序设计与实际应用的相关知识。全书共11章，分为三部分。第一部分包括第1～5章，介绍LabVIEW的基本概念、编程方法、数据结构、数据采集等图形化程序设计的关键技术；第二部分包括第6、7章，介绍MATLAB程序设计基础和Simulink动态系统仿真；第三部分包括第8～11章，介绍LabVIEW与MATLAB的混合编程技术，LabVIEW与MATLAB/Simulink混合编程接口技术，在LabVIEW中利用ActiveX技术与MATLAB混合编程，以及LabVIEW调用DLL、调用API等高级程序设计的技术。《LabVIEW 、MATLAB及其混合编程技术》可作为高等院校相关专业教材或教学参考书，也可供测控与仪器技术相关工程技术人员和软件工程师参考。

随着数字化设备大量应用于装备，计算机软件在装备中的作用越来越大，其规模和重要性均呈急剧上升的趋势，软件的可靠性已成为保证装备可靠性的重要组成部分。《软件可靠性工程》全面阐述了软件可靠性工程技术和方法，包括软件可靠性定量要求、软件可靠性分配与预计、软件可靠性设计、软件可靠性分析、软件可靠性测试、软件可靠性管理等方面内容，可以为装备研制中开展软件可靠性工程工作提供参考。《软件可靠性工程》主要是面向型号工程技术人员的，因此对阐述的技术和方法尽量给出示例、实施注意事项等，以便于工程技术人员掌握、实施。《软件可靠性工程》可供从事各种军、民用软件可靠性技术和管理人员阅读参考，也可作为软件可靠性专业的大学本科、研究生教学参考书，以及软件可靠性相关的培训教材。

《软件框架设计的艺术》帮助你解决api 设计方面的问题，共分3 个部分，分别指出学习api 设计是需要进行科学的训练的、java 语言在设计方面的理论及设计和维护api 时的常见情况，并提供了各种技巧来解决相应的问题。　《软件框架设计的艺术》作者是netbeans 的创始人，也是netbeans 项目最初的架构师。相信在api 设计中遇到问题时，本书将不可或缺。　《软件框架设计的艺术》适用于软件设计人员阅读。

《广联达软件清单算量》是全国职业院校技能大赛系列丛书之一。《广联达软件清单算量》根据职业院校建筑工程施工、工程造价等专业教学要求和全国职业院校技能大赛比赛要求编写，强调实用性和操作性。《广联达软件清单算量》以项目引导、任务驱动的方式编排，以一幢典型的三层框架综合楼为主线，详细介绍“广联达图形算量软件GCL2008”和“广联达钢筋抽样软件GGJ2009”的应用。《广联达软件清单算量》包括两个项目：建设工程图形清单算量，包括8个分项，33个子项；钢筋工程清单算量，包括7个分项，24个子项。《广联达软件清单算量》附配套光盘，包括教材中案例的全部操作视频。《广联达软件清单算量》可作为职业院校建筑类专业工程预算电算化教材，也可作为全国职业院校技能大赛备赛用书和建筑企业造价员上岗培训用书。

《北京大学软件与微电子学院课程体系》为北京大学软件与微电子学院培养方案与课程体系汇编。《北京大学软件与微电子学院课程体系》不同于经典的专业教程，不追求理论性和标准化，而是强调实践性和个性化，是一本制定如何培养实用型、复合交叉型人才教学方案的参考书，可供有关高等院校软件工程、电子与通信工程、集成电路工程、项目管理、数字媒体等相关专业的教学工作者参考使用。

《软件测试技术教程》内容分为基础与实践两部分。基础部分介绍了基本概念、原理、白盒测试技术、黑盒测试技术、面向对象软件测试、单元测试、集成测试和系统测试。实践部分介绍了软件测试与软件开发过程、软件测试过程所需技能、软件测试自动化、软件测试工具、自动测试工具qtp等内容。《软件测试技术教程》内容全面、深入浅出、实用性强，还易于灵活选用，适合作为高等院校计算机科学与技术专业、软件工程专业的软件测试课程的教材， 也可以作为软件测试培训的教材和选择软件测试为职业的专业技术人员的参考书。

《软件测试》系统地介绍了软件测试的基本技术及方法，全书分为11章，主要内容包括：软件测试概述、软件测试方法、单元测试、集成测试与确认测试、系统测试与验收测试、系统性能测试、面向对象软件测试、测试的设计与实现、web应用测试、软件测试自动化、软件质量保证等。《软件测试》可作为高等学校相关专业软件测试课程的教材，也可作为计算机软件开发人员的参考书。

数据收集相对比较简单，而要把原始信息转化为有用的数据则需要知道如何精确地抽取你想要的内容。通过《基于开源工具的数据分析（影印版·英文版）》的深入讲解，那些对数据分析感兴趣的中等或者富有经验的程序员将可以学习到在商业环境中与数据打交道的技术。你将了解到如何观察数据来找出它所包含的信息，如何在概念模型里捕捉到这些想法，然后把你的理解通过商业计划、度量标准的精确报告和其他方式反馈给你所在的机构。你将会通过《基于开源工具的数据分析（影印版·英文版）》每章结束部分的动手实践来慢慢体验各种概念。最重要的是，你将了解到如何思考你所希望获取的数据：而不是依赖于工具来替你思考。