软件分析与架构设计（2026年春季）

软件分析与架构设计（Software Analysis and Architecture）

课程简介：课程融合软件分析与软件架构设计两部分内容，前者主要介绍软件分析的基本概念、方法和工具，后者主要介绍软件架构设计的基本原则、模式和实践。课程内容涵盖静态分析、程序语义、符号执行、抽象解释、架构风格、设计模式等方面，旨在培养学生的软件分析和架构设计能力，提高软件质量和可维护性。

授课教师：何冬杰 课程助教：陈豪杰

说点什么：软件分析相关课程内容较为晦涩，大家上课时需要认真听讲，并在必要时提前预习；软件架构相关内容相对简单，学习起来会轻松愉快许多 :-)

学期：2025-2026学年第二学期（共8周）
时间：周一1-4节
周次：2-5、7-9、11周
地点：虎溪DZ121

日期	课件 [PDF]	作业
2026-03-09（周一）	1. 导引, 2. 软件架构设计

主要看讲义，其他参考资料包括：