软件工程及软件方法学
-
软件项目管理实用教程刘海 周元哲本书系统地讲解了软件项目管理理论。全书共有12章,全面论述了软件项目管理的基本概念、项目立项和策划、范围管理、进度管理、成本管理、质量管理、软件配置管理、团队管理、风险管理、项目收尾与验收、软件项目管理工具、课程实践。本书力求理论联系实际,内容深入浅出,实用性强。本书既可以作为高等院校“软件项目管理”课程的教材或教学参考书,也可作为软件工作者或相关技术人员自学的参考资料。 -
UML基础与建模实践教程王先国《UML基础与建模实践教程》是一本关于UML建模的实践教程,以大量案例为基础,重点介绍了UML体系结构、UML元素语义、语法、UML建模方法和RUP统一过程。全书分为3篇,共17章。第1篇(第1~13章)为UML语言基础,内容包括:UML语言体系结构、UML组成元素、UML图的表示方法、UML图的作用;第2篇(第14~15章)为UML高级技术,内容包括:Rose双向工程、RUP统一软件过程;第3篇(第16~17章)为UML建模实践,内容包括:网上书店建模和气象站数据建模,本篇重点介绍了领域建模与分析过程、用例建模与分析过程、动态建模与分析过程、RUP分析和设计过程。本书重点突出了UML语言的表示方法、系统建模方法和建模过程。书中所有的概念、技术、建模方法都通过实例来演示,内容精炼,表达简明,实例丰富,非常适合作为高等院校计算机专业及相关专业的教材,也可以作为培训机构相关专业的培训教材。 -
用户体验度量(美)TOM TULLIS(汤姆 图丽斯),Bill Albert(比尔 艾博特)如何量化用户体验对有效提高产品的使用质量至关重要。本书详尽地介绍了如何有效且可靠地收集、分析和呈现典型的用户体验度量数据:操作绩效(正确率等)、用户体验问题(频率和严重程度)、自我报告式的满意度及生理/行为数据(眼动追踪等)。同时对“综合性量化度量数据”等问题进行了专门介绍,而且结合案例等形式对当前与用户体验相关的新内容(如用户体验对NPS 的影响)进行了说明。 -
3D建模与打印(美)詹姆斯·弗洛伊德·凯利本书以Autodesk公司的Tinkercad建模软件为核心,介绍了3D建模的基本知识和概念。以多个简单实用的例子教会使用Tinkercad的功能和工具。介绍了能提供大量建模资源的Thingiverse网站以及如何在Tinkercad中利用。同时讲解了流行的3D打印的技术和原理,在此基础上结合Tinkercad利用3D打印机或3D打印服务提供商打印出自己设计的数字模型。以及如何利用123DCatch软件通过物体的多张照片反向合成物体的数字模型,进而进行修改和3D打印。 -
逻辑场软件工程学刘海东《逻辑场软件工程学》以西方经济学的微观部分为框架建立逻辑场经济学的微观部分,以西方经济学的宏观部分为框架建立逻辑场经济学的宏观部分,并提出社会主义自由市场理论。全书共26章,可以作为经济学本科高年级学生和研究生的参考书。 -
TI—DSP多核技术及实时软件开发潘晔本书从DSP软件开发的各个角度阐述了TI公司提供的DSP软件技术和开发工具,为DSP软件开发人员理清思路,以简化和加快DSP系统的软件开发。第1章首先从宏观上讨论了DSP嵌入式系统软件开发应注意的要素,然后简介了TI公司的eXpressDSP实时软件组件和开发工具。第2~5章分别从DSP可重用实时软件技术、多核嵌入式软件开发、优化的DSP库,以及DSP软件开发工具等几方面进行了详细介绍。 本书所涉及的材料,是截止到2014年的最新资料。结合编者的项目开发经验,增加了实现的例子,有利于读者理解和应用。 -
小比特的三维打印历险记杨晓哲 著这是一个关于小比特与三维打印的故事。这是一本带你走进三维打印世界的书。跟随主人公到一个神秘而又陌生的地方吧,那里虽然一无所有,但是等待着小比特与三维打印机一起去创造,更等待着你加入这样一场奇妙的旅程。鼓起勇气,展开想象,大胆设计,细心实现!蓦然回首,你会发现你对你所在的世界多了一份不一样的视角,就像小比特那样——开启新的篇章! -
如何料理游戏的一份菜谱丁亮本书的全部内容是分享作者设计游戏的经验和方法。首先从游戏的定义出发,谈论对游戏的认知理解,然后逐步展开讨论游戏的设计,最终落实到游戏设计的执行上。全面多层次地探讨游戏设计相关的话题,试图确立一种游戏的价值观和设计理念,把游戏行业置于更宏观的娱乐行业范畴内探讨游戏设计。 -
形式化方法导论张广泉形式化方法是指有严格数学基础的软件和系统开发方法,支持软件与系统的规约、设计、验证与演化等活动。随着软件可信需求的不断增长,形式化方法的重要性和关注度日益提高。全书共12章,第1章概述形式化方法,第2章介绍形式化方法发展早期的经典内容,其余部分共分3篇: 上篇(第3~5章)为系统建模篇,着重介绍迁移系统、有穷自动机、Petri网等基本计算模型; 中篇(第6和第7章)为形式规约篇,着重讨论时序逻辑及其在并发系统属性描述的应用; 下篇(第8~12章)为形式验证篇,除介绍演绎证明方法外,着重介绍验证并发、实时及混成系统的各种模型检测方法及相关验证工具。全书提供了大量应用实例,每章后均附有习题。本书适合作为高等院校计算机、软件工程、网络工程、信息安全、自动化等专业高年级本科生、研究生的教材,同时可供相关领域的研究人员和技术开发人员参考。 -
测试基地实训指导韩万江,张笑燕,孙艺,陆天波《测试基地实训指导》是指导学生进行实训的参考书,在本书的指导下,学生们可以顺利完成测试实训课程,并能从中学到相关知识。本指导书共分8章,第1章介绍了实训目的、实训内容、实训过程等;第2章介绍了测试的相关原理;第3章介绍了实训的对象和实训环境;第4章介绍了DTS测试工具;第5章介绍了LoadRunner测试工具;第6章介绍了JMeter测试工具;第7章介绍了实训的具体流程;第8章介绍了实训的提交结果
