软件工程及软件方法学
-
形式化方法导论张广泉形式化方法是指有严格数学基础的软件和系统开发方法,支持软件与系统的规约、设计、验证与演化等活动。随着软件可信需求的不断增长,形式化方法的重要性和关注度日益提高。全书共12章,第1章概述形式化方法,第2章介绍形式化方法发展早期的经典内容,其余部分共分3篇: 上篇(第3~5章)为系统建模篇,着重介绍迁移系统、有穷自动机、Petri网等基本计算模型; 中篇(第6和第7章)为形式规约篇,着重讨论时序逻辑及其在并发系统属性描述的应用; 下篇(第8~12章)为形式验证篇,除介绍演绎证明方法外,着重介绍验证并发、实时及混成系统的各种模型检测方法及相关验证工具。全书提供了大量应用实例,每章后均附有习题。本书适合作为高等院校计算机、软件工程、网络工程、信息安全、自动化等专业高年级本科生、研究生的教材,同时可供相关领域的研究人员和技术开发人员参考。
-
学校体育场馆资源失衡与非均衡管理孔庆波《学校体育场馆资源失衡与非均衡管理》是从当前我国学校体育发展失衡的大背景出发,立足于均衡发展理论,对学校体育场馆资源失衡发展问题进行深入研究,力求为今后解决学校体育失衡发展问题提供一定的理论和实践指导,进而实现学校体育的均衡公平发展。全书分为五部分,第一部分为“绪论”,主要介绍研究背景和发展趋势。第二部分为“我国学校体育场馆资源与配置”,对学校体育场馆资源的相关概念、学校体育场馆资源的来源和学校体育场馆资源失衡进行了总体阐述。第三部分为“学校体育场馆资源的失衡与竞技化”,对各类学校体育场馆资源占有失衡问题进行描述的基础上,系统地分析了不同类型学校体育场馆资源失衡的表现、特征、原因、影响以及竞技化特征。第四部分为“学校体育场馆资源的非均衡管理”,针对当前我国学校体育场馆资源占有失衡的现状,构建了针对性的体育场馆资源非均衡管理模式,旨在促进学校体育场馆资源的均衡发展。第五部分为“学校体育场馆资源非均衡管理模式评价指标体系的构建”,其研究的主要目的是为学校体育场馆资源占有情况与发展模式的评定构建一种衡量标准,做到科学合理地对不同学校体育场馆资源的占有情况进行定性和定量评估,以选择科学、全面、可行的发展模式。
-
逻辑场软件工程学刘海东《逻辑场软件工程学》以西方经济学的微观部分为框架建立逻辑场经济学的微观部分,以西方经济学的宏观部分为框架建立逻辑场经济学的宏观部分,并提出社会主义自由市场理论。全书共26章,可以作为经济学本科高年级学生和研究生的参考书。
-
嵌入式软件安全保证技术王崑声暂缺简介...
-
《编程珠玑》续(美)乔恩·本特利(Jon Bentley)本书是计算机科学方面的经典名著《编程珠玑》的姊妹篇,讲述了对于程序员有共性的知识。本书延续了《编程珠玑》的特色,通过一些精心设计的有趣而又颇具指导意义的程序,对实用程序设计技巧及基本设计原则进行透彻而睿智的描述,为复杂的编程问题提供清晰而完备的解决思路。书中涵盖了程序员操纵程序的技术、程序员取舍的技巧、输入和输出设计以及算法示例,这些内容结合成一个有机的整体,如一串串珠玑展示给程序员。本书对各个层次的程序员都具有很高的阅读价值。
-
重构(美)马丁·福勒(Martin Fowler)本书清晰揭示了重构的过程,解释了重构的原理和实践方式,并给出了何时以及何地应该开始挖掘代码以求改善。书中给出了70 多个可行的重构,每个重构都介绍了一种经过验证的代码变换手法的动机和技术。本书提出的重构准则将帮助你一次一小步地修改你的代码,从而减少了开发过程中的风险。
-
用户体验度量(美)TOM TULLIS(汤姆 图丽斯),Bill Albert(比尔 艾博特)如何量化用户体验对有效提高产品的使用质量至关重要。本书详尽地介绍了如何有效且可靠地收集、分析和呈现典型的用户体验度量数据:操作绩效(正确率等)、用户体验问题(频率和严重程度)、自我报告式的满意度及生理/行为数据(眼动追踪等)。同时对“综合性量化度量数据”等问题进行了专门介绍,而且结合案例等形式对当前与用户体验相关的新内容(如用户体验对NPS 的影响)进行了说明。
-
软件测试技术与实践教程崔梦天,张波《软件测试技术与实践教程》较为全面、系统地介绍了当前测试领域的理论和实践知识,共分5个部分,包含15章内容,介绍了软件测试概述、软件测试的数学基础、软件测试过程、白盒测试、黑盒测试、单元测试、集成测试等。《软件测试技术与实践教程》可作为高等院校相关专业软件测试课程的教材或教学参考书,也可作为从事计算机应用开发的软件项目经理和需要了解软件测试的各类管理人员的参考书。
-
软件项目管理实用教程刘海 周元哲本书系统地讲解了软件项目管理理论。全书共有12章,全面论述了软件项目管理的基本概念、项目立项和策划、范围管理、进度管理、成本管理、质量管理、软件配置管理、团队管理、风险管理、项目收尾与验收、软件项目管理工具、课程实践。本书力求理论联系实际,内容深入浅出,实用性强。本书既可以作为高等院校“软件项目管理”课程的教材或教学参考书,也可作为软件工作者或相关技术人员自学的参考资料。
-
测试基地实训指导韩万江,张笑燕,孙艺,陆天波《测试基地实训指导》是指导学生进行实训的参考书,在本书的指导下,学生们可以顺利完成测试实训课程,并能从中学到相关知识。本指导书共分8章,第1章介绍了实训目的、实训内容、实训过程等;第2章介绍了测试的相关原理;第3章介绍了实训的对象和实训环境;第4章介绍了DTS测试工具;第5章介绍了LoadRunner测试工具;第6章介绍了JMeter测试工具;第7章介绍了实训的具体流程;第8章介绍了实训的提交结果