李必信，中国计算机学会软件工程专委会委员、容错计算专委会常务委员、江苏省计算机学会软件专委会副主任。2004年2月至今一直在东南大学计算机科学与工程学院任教。主要讲授的研究生课程有软件开发方法与技术、算法设计与分析、不错软件工程等。研究方向为软件架构建模、分析、测试与验证，软件系统演化及软件质量保证等。从1999年开始，主持各类项目30多项，先后在《IEEE Transactions on Network and Service Management》《ACM Computing Surveys》《Software Testing, Verification and Reliability》《Science in China》《Journal of Computer Science and Technology》《软件学报》《计算机学报》《计算机研究与发展》等靠前外有名期刊和ICSE、FSE、ASE等重要靠前会议发表学术论文150余篇，出版专著3部，授权发明32项。论文被SCI/EI收录140多篇次，被他人引用累计超过2500篇次。他还曾获得2011年度的中创软件人才奖和2014年高校科学研究很好成果奖自然科学二等奖（排名）。

前言教学建议上篇  基础理论篇章  软件架构概述 …… 21.1  软件架构产生的背景 …… 21.2  软件架构的主要思想和特征 …… 31.2.1  软件架构的主要思想 …… 31.2.2  软件架构的特征 …… 31.3  软件架构的发展阶段 …… 41.3.1  基础研究阶段（1968—1994） …… 41.3.2  概念体系和核心技术形成阶段（1991—2000） …… 61.3.3  理论体系完善与发展阶段（1996年至今） …… 71.3.4  普及应用阶段（1999年至今） …… 71.4  软件架构研究和应用现状 …… 71.4.1  软件架构理论和方法研究 …… 81.4.2  软件架构的应用研究 …… 111.5  本章小结 …… 13思考题 …… 13参考文献 …… 14第2章  软件架构的概念 …… 172.1  引言 …… 172.2  组成派的主要定义 …… 182.3  决策派的主要定义 …… 192.4  其他定义 …… 202.5  参考定义框架 …… 202.6  本章小结 …… 21思考题 …… 22参考文献 …… 22第3章  软件架构模型 …… 233.1  引言 …… 233.2  软件架构的可视化建模方法 …… 243.2.1  基于图形可视化的建模方法 …… 243.2.2  基于UML的建模方法 …… 253.3  软件架构的形式化建模方法 …… 313.3.1  基于形式化规格说明语言的建模方法 …… 323.3.2  基于UML的形式化建模方法 …… 363.4  其他建模方法 …… 453.4.1  文本语言建模方法 …… 453.4.2  模型驱动的架构建模方法 …… 473.5  软件架构建模方法的发展趋势分析 …… 493.5.1  层：文本模型 …… 503.5.2  第2层：图形可视化模型 …… 503.5.3  第3层：UML模型 …… 503.5.4  第4层：形式化模型 …… 513.5.5  第5层：未来模型 …… 523.6  本章小结 …… 52思考题 …… 53参考文献 …… 53第4章  软件架构的风格与模式 …… 594.1  软件架构风格的定义 …… 594.2  软件架构风格的分类 …… 604.3  典型的软件架构风格 …… 604.3.1  管道-过滤器风格 …… 604.3.2  主程序/子程序风格 …… 624.3.3  面向对象风格 …… 644.3.4  层次化风格 …… 654.3.5  事件驱动风格 …… 674.3.6  解释器风格 …… 694.3.7  基于规则的系统风格 …… 714.3.8  仓库风格 …… 734.3.9  黑板系统风格 …… 754.3.10  C2风格 …… 774.3.11  客户机/服务器风格 …… 794.3.12  浏览器/服务器风格 …… 834.3.13  平台/插件风格 …… 854.3.14  面向Agent风格 …… 874.3.15  面向方面架构风格 …… 914.3.16  面向服务架构风格 …… 934.3.17  正交架构风格 …… 954.3.18  异构风格 …… 974.3.19  基于层次消息总线的架构风格 …… 994.3.20  模型-视图-控制器风格 …… 1014.4  软件架构模式 …… 1034.5  本章小结 …… 103思考题 …… 104参考文献 …… 104第5章  软件架构描述语言 …… 1075.1  引言 …… 1075.2  ADL的核心设计元素 …… 1075.2.1  组件 …… 1085.2.2  连接件 …… 1085.2.3  架构配置 …… 1095.3  几种典型的ADL …… 1095.3.1  Aesop …… 1095.3.2  C2 SADL …… 1105.3.3  UniCon …… 1145.3.4  Wright …… 1165.3.5  XYZ/ADL …… 1175.3.6  ACME …… 1185.3.7  XBA …… 1185.3.8  ABC/ADL …… 1205.3.9  MetaH …… 1215.3.10  Rapide …… 1215.3.11  Darwin …… 1225.3.12  xADL 2.0 …… 1225.4  本章小结 …… 123思考题 …… 123参考文献 …… 123第6章  软件架构与敏捷开发 …… 1256.1  软件开发的发展简史 …… 1256.2  敏捷开发 …… 1276.2.1  敏捷开发的基本理念 …… 1276.2.2  敏捷开发实践 …… 1286.3  敏捷开发过程中的软件架构设计 …… 1306.3.1  需求分析 …… 1306.3.2  初始设计 …… 1306.3.3  迭代过程 …… 1306.3.4  敏捷的设计思想 …… 1316.4  两类常见的敏捷软件架构设计方法 …… 1326.4.1  敏捷开发初始阶段设计 …… 1336.4.2  敏捷开发迭代过程中的设计 …… 1346.5  本章小结 …… 136思考题 …… 137参考文献 …… 137中篇  工程实践篇第7章  架构驱动的软件开发 …… 1407.1  架构驱动的软件开发简介 …… 1407.2  架构需求获取 …… 1407.3  架构设计、文档化和评估 …… 1447.3.1  架构设计、文档化和评估是一个迭代过程 …… 1447.3.2  什么是架构的结构 …… 1477.3.3  从架构需求出发的评估 …… 1487.3.4  寻找ATAM中的“权衡点”和“敏感点” …… 1497.4  架构的实现与维护 …… 1517.4.1  架构的实现 …… 1517.4.2  架构的维护 …… 1527.5  本章小结 …… 152思考题 …… 152参考文献 …… 153第8章  软件架构设计和实现 …… 1548.1  从需求分析到架构设计 …… 1548.1.1  软件架构对需求的影响 …… 1558.1.2  基于软件需求的软件架构设计 …… 1568.1.3  需求与架构的协同演化 …… 1638.2  从软件架构到详细设计 …… 1638.2.1  详细设计对软件架构的影

本书全面介绍了软件架构基础理论和最佳实践，内容涵盖软件架构发展的过去、现在到可能的未来，软件架构的基础理论方法和技术手段，以及软件架构的设计开发实践和质量保障实践等，涉及与软件架构相关的几乎所有必要的知识点。