软件工程及软件方法学
-
用户体验度量（美）TOM TULLIS（汤姆 图丽斯），Bill Albert（比尔 艾博特）如何量化用户体验对有效提高产品的使用质量至关重要。本书详尽地介绍了如何有效且可靠地收集、分析和呈现典型的用户体验度量数据：操作绩效（正确率等）、用户体验问题（频率和严重程度）、自我报告式的满意度及生理/行为数据（眼动追踪等）。同时对“综合性量化度量数据”等问题进行了专门介绍，而且结合案例等形式对当前与用户体验相关的新内容（如用户体验对NPS 的影响）进行了说明。 -
小比特的三维打印历险记杨晓哲 著这是一个关于小比特与三维打印的故事。这是一本带你走进三维打印世界的书。跟随主人公到一个神秘而又陌生的地方吧，那里虽然一无所有，但是等待着小比特与三维打印机一起去创造，更等待着你加入这样一场奇妙的旅程。鼓起勇气，展开想象，大胆设计，细心实现！蓦然回首，你会发现你对你所在的世界多了一份不一样的视角，就像小比特那样——开启新的篇章！ -
3D建模与打印（美）詹姆斯·弗洛伊德·凯利本书以Autodesk公司的Tinkercad建模软件为核心，介绍了3D建模的基本知识和概念。以多个简单实用的例子教会使用Tinkercad的功能和工具。介绍了能提供大量建模资源的Thingiverse网站以及如何在Tinkercad中利用。同时讲解了流行的3D打印的技术和原理，在此基础上结合Tinkercad利用3D打印机或3D打印服务提供商打印出自己设计的数字模型。以及如何利用123DCatch软件通过物体的多张照片反向合成物体的数字模型，进而进行修改和3D打印。 -
软件测试技术与实践教程崔梦天，张波《软件测试技术与实践教程》较为全面、系统地介绍了当前测试领域的理论和实践知识，共分5个部分，包含15章内容，介绍了软件测试概述、软件测试的数学基础、软件测试过程、白盒测试、黑盒测试、单元测试、集成测试等。《软件测试技术与实践教程》可作为高等院校相关专业软件测试课程的教材或教学参考书，也可作为从事计算机应用开发的软件项目经理和需要了解软件测试的各类管理人员的参考书。 -
如何料理游戏的一份菜谱丁亮本书的全部内容是分享作者设计游戏的经验和方法。首先从游戏的定义出发，谈论对游戏的认知理解，然后逐步展开讨论游戏的设计，最终落实到游戏设计的执行上。全面多层次地探讨游戏设计相关的话题，试图确立一种游戏的价值观和设计理念，把游戏行业置于更宏观的娱乐行业范畴内探讨游戏设计。 -
形式化方法导论张广泉形式化方法是指有严格数学基础的软件和系统开发方法，支持软件与系统的规约、设计、验证与演化等活动。随着软件可信需求的不断增长，形式化方法的重要性和关注度日益提高。全书共12章，第1章概述形式化方法，第2章介绍形式化方法发展早期的经典内容，其余部分共分3篇： 上篇（第3～5章）为系统建模篇，着重介绍迁移系统、有穷自动机、Petri网等基本计算模型； 中篇（第6和第7章）为形式规约篇，着重讨论时序逻辑及其在并发系统属性描述的应用； 下篇（第8～12章）为形式验证篇，除介绍演绎证明方法外，着重介绍验证并发、实时及混成系统的各种模型检测方法及相关验证工具。全书提供了大量应用实例，每章后均附有习题。本书适合作为高等院校计算机、软件工程、网络工程、信息安全、自动化等专业高年级本科生、研究生的教材，同时可供相关领域的研究人员和技术开发人员参考。 -
学校体育场馆资源失衡与非均衡管理孔庆波《学校体育场馆资源失衡与非均衡管理》是从当前我国学校体育发展失衡的大背景出发，立足于均衡发展理论，对学校体育场馆资源失衡发展问题进行深入研究，力求为今后解决学校体育失衡发展问题提供一定的理论和实践指导，进而实现学校体育的均衡公平发展。全书分为五部分，第一部分为“绪论”，主要介绍研究背景和发展趋势。第二部分为“我国学校体育场馆资源与配置”，对学校体育场馆资源的相关概念、学校体育场馆资源的来源和学校体育场馆资源失衡进行了总体阐述。第三部分为“学校体育场馆资源的失衡与竞技化”，对各类学校体育场馆资源占有失衡问题进行描述的基础上，系统地分析了不同类型学校体育场馆资源失衡的表现、特征、原因、影响以及竞技化特征。第四部分为“学校体育场馆资源的非均衡管理”，针对当前我国学校体育场馆资源占有失衡的现状，构建了针对性的体育场馆资源非均衡管理模式，旨在促进学校体育场馆资源的均衡发展。第五部分为“学校体育场馆资源非均衡管理模式评价指标体系的构建”，其研究的主要目的是为学校体育场馆资源占有情况与发展模式的评定构建一种衡量标准，做到科学合理地对不同学校体育场馆资源的占有情况进行定性和定量评估，以选择科学、全面、可行的发展模式。 -
嵌入式软件安全保证技术王崑声暂缺简介... -
《编程珠玑》续（美）乔恩·本特利（Jon Bentley）本书是计算机科学方面的经典名著《编程珠玑》的姊妹篇，讲述了对于程序员有共性的知识。本书延续了《编程珠玑》的特色，通过一些精心设计的有趣而又颇具指导意义的程序，对实用程序设计技巧及基本设计原则进行透彻而睿智的描述，为复杂的编程问题提供清晰而完备的解决思路。书中涵盖了程序员操纵程序的技术、程序员取舍的技巧、输入和输出设计以及算法示例，这些内容结合成一个有机的整体，如一串串珠玑展示给程序员。本书对各个层次的程序员都具有很高的阅读价值。 -
测试基地实训指导韩万江，张笑燕，孙艺，陆天波《测试基地实训指导》是指导学生进行实训的参考书，在本书的指导下，学生们可以顺利完成测试实训课程，并能从中学到相关知识。本指导书共分8章，第1章介绍了实训目的、实训内容、实训过程等；第2章介绍了测试的相关原理；第3章介绍了实训的对象和实训环境；第4章介绍了DTS测试工具；第5章介绍了LoadRunner测试工具；第6章介绍了JMeter测试工具；第7章介绍了实训的具体流程；第8章介绍了实训的提交结果
