软件工程及软件方法学
-
数据驱动的开源软件缺陷管理研究张文等为保障软件供应链安全和抢占全球创新制高点,一些国家政府和大型企业大力扶持开源软件。开源软件由于在开发时间、空间、人员和项目管理上的诸多特点而大大增加了开发的复杂性,进而使得开源软件质量具有不确定性。针对这一问题,本书首次聚焦于开源项目资源库挖掘这一主题,展示如何利用大数据驱动方法支持开源软件缺陷管理。本书的内容包括开源软件项目缺陷预测、开源软件项目缺陷分配和开源软件项目缺陷定位。在缺陷预测方面,针对软件缺陷数据的非均衡性、多模态性、稀缺性和时间序列特性开展研究。在缺陷分配方面,针对开源软件缺陷解决过程中的开发人员参与情况和开发人员专长开展研究。在缺陷定位方面,针对开源软件缺陷修改牵涉面大而变更零散的特点开展研究。 -
领域驱动设计工作坊郑天民本书通过一个完整项目案例由浅入深地介绍了业务建模和软件设计的方法论——领域驱动设计(Domain Driven Design,DDD)。首先,本书介绍了DDD的基本概念和主流设计方法,同时引入贯穿全书的案例系统,并完成案例系统的基础设计;其次,围绕DDD的统一语言、子域和限界上下文展开讨论,探讨从问题空间进入解空间的解决方案;再次,从领域建模范式讲起,详细分析实体、值对象、聚合、领域服务、应用服务和领域事件等DDD中与战术设计相关的核心概念,并给出各个组件的设计方法和使用技巧;最后,围绕常见领域驱动架构模式及DDD架构考量,给出DDD的架构设计和整合方案。本书结构清晰、内容丰富、图文并茂,适合团队负责人、业务设计人员、系统设计人员以及架构师等阅读。 -
数据驱动高级软件工程张璇等软件工程相关数据快速增长且广泛分布,从对封闭数据的检索转向对大规模开放数据的获取,数据的充分利用成为大数据背景下软件工程的一个重要新方向。《数据驱动高级软件工程》面向大数据时代特征,介绍面向软件工程的数据科学关键概念、方法和技术,内容以承前启后方式,*先介绍软件科学与工程、数据科学与工程,在此基础上介绍利用数据科学支持软件工程的方法和技术,包括数据驱动的软件过程挖掘、数据驱动的可信软件工程,以及数据驱动的需求变更分析;之后面向软件工程项目,介绍基于数据科学的实证软件工程分析方法,以及在软件工程中的**系统和面向区块链的软件工程。《数据驱动高级软件工程》重点介绍大数据时代下,软件工程领域的一些进展和研究方向,并采用丰富的案例分析对相关概念、知识、方法和技术进行拓展,可为软件工业界了解本领域相关方法、技术和实践提供参考。 -
Android游戏开发从入门到精通王玉芹本书深入讲解了Android游戏开发的核心知识,并通过具体实例的实现过程,演练了开发Android游戏程序的方法和流程。全书共17章,分别讲解了认识Android移动操作系统,掌握Android游戏开发技术,Graphics游戏绘图,3D技术的应用,纹理映射特效,绘制3D图形,坐标变换和混合,摄像机、雾特效和粒子系统,让游戏和网络互联,游戏中的音频特效和视频,游戏中的数学,碰撞检测,使用传感器技术,AI版五子棋游戏,高仿抖音潜艇大挑战游戏,跨平台坦克大战游戏(Android/iOS/桌面),国际象棋游戏。全书简明而不失技术深度,内容丰富全面,历史资料详实齐全,以简洁的文字介绍复杂的案例,同时介绍了其他同类图书中涉及的历史参考资料,是学习Android游戏开发的完美教程。本书附赠所有案例源码,获取方式见封底。本书适用于已经了解并想进一步学习Android游戏开发、Android项目架构的读者,还可以作为大专院校相关专业师生的参考用书和培训学校的专业教材。 -
基于模型的系统工程实践杨海根 戴罗昊 戴尔晗 陈建江 付超本书从系统工程的概念出发,介绍了MBSE理论、SysML建模语言各类视图的作用、建模工具SysDeSim.Arch和系统运行可视化仿真工具SysDesim.Rvz的使用方法,以及这两个工具的应用。 -
模型驱动的自动化软件代码生成技术杨福军,杨雷,李志辉本书通过对模型驱动的自动化软件代码生成策略、气动数据管理框架、气动数据处理流程和气动数据库数据结构进行研究,对气动数据管理系统进行共性分析,建立自动化软件框架的领域模型。第1章绪论分析了代码生成技术和气动管理系统框架现状,第2、3章阐述了现有软件框架和本书使用的设计模式,第4~7章阐述了基础框架和工作流引擎的设计过程,第8、9章阐述了气动数据管理系统相关设计内容,第10章阐述了气动数据管理框架支撑架构及自动化代码生成设计,第11章对本书设计的代码生成框架进行了示范生成效果展示。本书完整展示了气动数据管理和模型驱动代码生成技术的结合与设计过程,这预示着一种全新的气动数据管理系统开发方法已经落地,将为推动我国气动领域数据再利用及数字化工程加速建设奠定基础。 -
鸿蒙原生应用开发刘?h 张荣超本书通过丰富的示例,以简明扼要的方式讲解了 ArkTS 语言的基础知识和核心概念,并介绍了数据操作、流程控制语句、函数、面向对象编程、空安全、错误处理、容器、泛型、导出和导入等内容。其中,“面向对象编程”这一章涉及一系列重要的概念,包括类、对象、封装、继承、多态、重写、抽象类和接口等,为此给出了一个小型的课务管理项目,以帮助读者理解这些概念。本书适合希望快速上手 ArkTS 语言的初学者阅读。 -
SOLIDWORKS 2023机械设计完全实例教程张忠将本书紧密结合实际生产应用,以众多精彩的机械设计实例为引导,详细介绍了SOLIDWORKS从模型创建,到出工程图,再到模型分析和仿真等的操作过程。本书实例涵盖典型机械零件、输送机械、制动机械、农用机械、紧固和夹具、传动机构、弹簧和控制装置等的设计;内容涵盖草图、建模、曲线/曲面、装配、钣金、焊件、工程图、仿真和应力分析等。本书紧密结合实例和实际应用进行了深入浅出的讲解。本书的主要特点是贴近机械加工的实际操作,在设计零件的过程中,我们不但要懂得如何使用SOLIDWORKS将零件绘制出来,还需要了解如此绘制零件的原因(如令毛坯件利于加工等)。本书附赠资源包括PPT演示课件、操作视频、全部素材、范例设计结果和练习题设计结果等。本书实例精彩丰富、条理清晰、内容实用,可作为各种培训机构的CAD/CAE课程教材,也可作为广大机械设计人员、工程师和机械相关专业大中专院校学生学习提高的自学参考书。 -
信创产品测试技术、方法与案例李龙本书作为一本详细讲解信创产品测试的图书,从信创产品的基础开始讲起,逐步贯通测试技术、测试方法论和测试案例分析。全面融合理论、实践与案例分享的方式,详细讲解如何对信创产品进行检验检测,如何提高信创产品的适配能力和产品质量。本书共分为三个部分10个章节:第一部分为技术篇,详细介绍了信创的发展史和生态布局等内容,整个篇章以解读信创测试的团体标准和国家标准为突破口,从信创产品的测试基础要求、适配迁移能力、功能、性能效率、可靠性、安全性、兼容性、环境试验等方面进行一一的指导与测试实践,详细讲解如何对信创产品进行测试测评。第二部分为方法论,主要介绍了两款测试方法论(一款是基于业务场景的测试设计方法论,另一款是基于任务驱动的测试设计方法论),指导读者对信创产品从一个更高层次上,进行测试分析与测试思路的设计,然后再使用基础的测试技术执行测试。第三部分为案例篇,首先是站在国产化信创底座的基础上,向读者详细介绍了三大信创底座的测试案例,然后又分享了两款平台软件的信创测试案例,通过5个实际的不同类型的案例分享,一步步指导读者如何把理论与实践相结合,高覆盖率且高效率的进行测试工作。 -
ANSYS ICEM CFD 网格划分技术案例详解丁源《ANSYS ICEM CFD网格划分技术案例详解:视频教学版》通过大量工程案例由浅入深地介绍ICEM CFD网格划分的各种功能,重点讲解ICEM CFD进行网格划分,特别是结构化网格划分的方法。《ANSYS ICEM CFD网格划分技术案例详解:视频教学版》共分为12章,包括计算流体的基础理论与方法、创建几何模型、二维网格划分、三维网格划分、结构化网格划分、非结构网格划分、网格边界等功能的介绍,针对每个ICEM CFD可以解决的网格划分问题进行详细的讲解,并辅以相应的实例,使读者能够快速、熟练、深入地掌握ICEM CFD软件。《ANSYS ICEM CFD网格划分技术案例详解:视频教学版》还提供了同步教学视频和上机练习素材文件,以方便读者更好地使用《ANSYS ICEM CFD网格划分技术案例详解:视频教学版》。《ANSYS ICEM CFD网格划分技术案例详解:视频教学版》结构严谨,条理清晰,重点突出,非常适合作为广大ICEM CFD初学者和工程技术人员的自学用书,也可作为高校相关专业及有关培训机构的教学用书。
