沈军编写的《软件体系结构——面向思维的解析方法》采用系统化思维策略，解析软件体系结构相关知识。第1章概述，给出软件体系结构的定义及其内涵、涉及的相关内容及其逻辑关系以及本书的组织结构及应有的学习策略。第2章主要解析软件体系结构赖以建立的基础——软件模型。第3章主要解析用以建立软件体系结构的基本构件——设计模式。第4章主要解析面向同族系统和异族系统的两类软件体系结构基本风格及其关系，同时解析由它们衍生的各种典型风格及其具体应用。第5章主要解析面向Web应用的新3-Tier／n-Tier体系结构的基本工作原理和面向服务的体系结构（SOA）的基本工作原理，并简单解析面向领域的体系结构的基本思想。第6章主要解析软件体系结构的若干基本描述方法，包括非形式化描述方法和形式化描述方法，并通过具体设计工具和应用案例，解析软件体系结构的基本设计方法。第7章主要解析软件体系结构的发展，基于归纳和演绎两种思维策略重点解析可恢复程序语句组件模型与SOA深入以及云计算、元模型与MDA。《软件体系结构——面向思维的解析方法》主要面向普通高等院校计算机学院、软件学院的高年级本科生、硕士生相关课程的教学，也可以满足对计算机软件技术感兴趣的普通读者的自学需求。

形式方法是一种基于数学的软件开发方法。形式规格说明是形式方法最基本的部分，它精确描述用户需求和计算机软件系统的功能，并用于软件验证和精化。z是目前颇受欢迎且使用较广泛的一种形式规格说明语言。本书旨在讨论软件工程中形式方法的概念、方法和表示法，并详细介绍z的类型系统、数学语言和公理定义、通用式定义、模式等结构，还讨论了z规格说明的推理和求精方法。本书还介绍了面向对象的规格说明语言object—z和其他形式方法表示和工具。全书结构合理、内容丰富、实例详尽多样。各章配有习题。《软件形式规格说明语言—z》可作为计算机、软件工程、信息安全和信息管理等专业本科生和研究生的教材，也可作为大专院校有关专业的教师参考书，还可作为从事软件工程、软件开发和软件应用的研究人员和技术人员的参考资料。

本书从原理的角度阐述了面向对象程序设计的6大原则；讲解和剖析了23种常见的设计模式，并进行了扩展，通俗易懂、趣味性极强而又紧扣设计模式的核心；对各种相关联的设计模式进行了深入分析和比较，旨在阐明各种设计模式比较理想的应用场景和它们之间的区别；探讨了设计模式的混编，讲解了如何在实际开发中将各种设计模式混合起来使用，以发挥设计模式的最大效用。全书结合设计实例，从面向对象设计案例中精心选择了一些设计模式，总结了面向对象设计中最有价值的经验，并将其用简洁、可复用的形式表达出来。本书是The Design of Design一书的评注版，力邀国内资深专家执笔，在英文原著的基础上增加了中文点评和注释，旨在融合二者之长，既保留经典的原创文字与味道，又以先行者的学研心得与实践感悟，对读者的阅读和学习加以点拨，指明捷径。

随着移动应用、社会网络应用的快速发展，用户随时随地获取个性化信息的需求更加强烈，对检索系统的智能化要求更高。软件人以其拟人化的特征更好地适应了这一发展趋势，同时通过与物联网相结合，软件人的感知能力大大提高，这使软件人成为实现智能化、拟人化主题分析和信息检索的一种重要途径。《电子信息类新技术丛书：软件人主题分析与信息检索技术》首先分析了主题分析和信息检索技术的现状，进而探讨了软件人在互联网信息处理发展演化中所能起到的作用。重点阐述了软件人的构造，尤其是以主题模型来建立软件人的语言模型，使之能够模拟不同人的语言模式。围绕软件人的主题模型，从文本主题分析、主题模型的语义标注、跨媒体主题分析几个方面总结了作者在该领域的理论研究工作。在理论研究的基础上，进一步介绍了软件人主题分析技术在食品安全事件监测、智慧旅游和领域主题信息检索中的应用。《电子信息类新技术丛书：软件人主题分析与信息检索技术》可作为从事智能科学技术、计算机、信息检索相关的科研、教学和工程技术人员参考用书，也可作为高等院校的专业用书。本书由周亦鹏著。

《中国高等学校计算机科学与技术专业（应用型）规划教材：软件工程实用教程》分为三个部分。第一部分为传统的软件工程，从软件生存周期的角度出发，介绍软件可行性分析、软件计划、结构化分析、结构化设计、编码、测试以及软件维护阶段的过程、方法、工具、文档及案例。第二部分为面向对象的软件工程，以面向对象技术和UML语言为主线，介绍面向对象的概念、模型、分析、设计及实现过程。第三部分为软件工程管理，简要介绍软件项目管理、软件质量管理、软件配置管理及软件过程管理的内容。《中国高等学校计算机科学与技术专业（应用型）规划教材：软件工程实用教程》不仅介绍软件工程的概念、原理、方法和技术，而且强调方法和技术的实际应用，既阐述了理论知识，又介绍了具体的操作方法和案例分析。《中国高等学校计算机科学与技术专业（应用型）规划教材：软件工程实用教程》可作为高等院校计算机及相关专业“软件工程”课程的教材或参考书，也可供软件工程师、软件项目管理者和应用软件的开发人员阅读参考。

本书提出了审视软件工程的全新视角和软件工程的体系模型（EHM，软件工程层状模型）。本书用非工程的方式重新解析软件工程现象，全面、细致而深刻地分析了工程中各个环节的由来、价值及其内在关系。综合论述开发、工程二者的现状，例如对程序员“工匠思想”的起源进行广征博引的分析，也对工程中“敏捷过程”的经验主义本质进行深至髓质的论证。全书语言轻快，可读性强，薄且有味。本书是在“思想方法学”这一软件工程尚未涉足过的领域中的实习之作。作者亲历国内软件工程的英雄时代、泡沫时代，从失败中醒觉而创建独特的思考方法，对软件开发、工程中的现状深刻反思，从而完成这本专著。在缺乏独立思维、对国外工程理论亦步亦趋的国内工程界、开发业界，该书无疑是一份激荡新思的佳作。本书是第一本讨论软件工程思想本源的书籍，也是第一本从工程实践出发溯源而论的佳作。本典藏版在内容上以该书第二版为底本并进行了大量的文字修订，补充追加了第三版中的“具体工程”一章。并且，考虑到典藏的价值，本书收录了公开文档“幕后故事”的精华摘选。

《软件工程原理及应用》在对软件工程基本概念进行介绍的基础上，全面系统地介绍了软件开发的基本原理、基本方法及相关技术。以传统的软件工程和面向对象的软件工程为主线，根据软件开发“工程化”思想，重点介绍了结构化开发方法和面向对象开发方法，强调了软件体系结构在软件开发中的作用，通过对软件测试及软件管理技术等内容的介绍，确保软件开发质量。针对软件生命周期的主要阶段，结合具体案例，给出了基本原理和技术的应用实例。教材内容新颖、全面，对软件开发具有指导性作用。《软件工程原理及应用》适合高等院校计算机科学与技术专业本科或研究生、信息专业各类继续教育人员阅读，也可作为从事软件开发的科技人员的参考书、培训教材等。

《普通高等教育电气信息类应用规划型教材：软件技术基础概论习题解析与上机指导》是与《软件技术基础概论》配套使用的教学辅导书。全书分两篇，共17章：习题解析篇主要包括数据结构、软件工程技术、数据库技术、统一建模语言UML和Web网页设计各章末的习题解析；算法上机实现篇主要包括线性表算法、栈和队列算法、树与二叉树算法、图算法、查找算法和排序算法上机实现。书中的全部算法都在VisualC++6．0环境下测试通过。通过本书的学习，读者可以进一步深入理解软件技术基本手段和常用方法，提高分析问题和解决问题的能力。本书可作为高等学校工学专业和其他相关专业本科生、研究生教材，也可作为工程应用领域中应用软件进行开发的科研和工程技术人员的参考书。

《普通高等教育电气信息类应用型规划型教材：软件技术基础概论》是系统讲述软件技术基础的基本理论、技术、方法和软件开发工具等内容的教材。本书的特点是理论与实践相结合，内容安排上由浅入深，循序渐进，对基本概念讲解清楚．全书共分3篇11章，基础篇主要内容是数据结构；技术篇主要内容有软件工程技术、数据库技术和统一建模语言UML；应用篇主要内容是Web网页设计。本书提供大量的实例，并有配套的《软件技术基础概论习题解析与上机指导》教学辅导书。书中实例取材新颖，内容翔实，图文并茂。本书中的全部算法都在VisualC中+6．0环境下测试通过。本书可作为高等学校工学专业和其他有关专业本科生、研究生教材，也可作为从事工程应用领域应用软件开发的科研和工程技术人员的参考书。

《普通高等教育电气信息类应用型规划教材：软件工程》在软件工程知识域的组织方面充分参考了IEEE和ACM提出的“软件工程知识体系（SWEBOK）”基本框架，结合高校软件工程教与学的特点，跟随现代软件发展趋势，沿着结构化和面向对象两条行文线索，比较全面、系统地反映了软件工程的基础和发展，从理论与实践的视角介绍了软件工程的基本原理、概念和技术方法。全书共13章，在内容结构上可分为四篇：软件工程基础、软件定义、软件开发与维护和软件项目管理基础。《普通高等教育电气信息类应用型规划教材：软件工程》内容新颖，通俗易懂，深入浅出，循序渐进，同时，在每章后面都有与之对应的习题，供读者复习巩固。《普通高等教育电气信息类应用型规划教材：软件工程》可作为高等院校“软件工程”课程的教材或教学参考书，也可供有一定实际经验的软件工作人员和需要开发应用软件的计算机用户阅读参考。