编译原理

掌握和编译器设计相关的形式语言理论基础，编译器的基本流程和相关方法。

• 课程内容主要包含词法分析、语法分析、语义分析、代码生成和代码优化五个知识模块，对应编译器设计和实现过程中要仔细考虑的各个阶段。
• 课程的目标是使大家掌握和编译器设计相关的形式语言理论基础、了解编译器生成工具的使用方式、以及实践一个简单编译器的设计与实现过程。
• 教材：Alfred V.Aho, Monica S.Lam, Ravi Sethi, Jeffrey D.Ullman. Compilers: Principles, Techniques, and Tools (2nd Edition). 赵建华 郑滔 戴新宇 译.(机械工业出版社) (龙书)

软件需求工程

了解软件需求工程的基本理论、技术与方法。

软件维护与演化导论（研究生）

• 熟悉软件在维护与演化期间的主要特征、现状以及未来发展趋势，了解基本技术与理论。
• 课程主要内容：软件维护与演化概述、软件逆向工程与再工程、程序变换与移植、软件重构、软件变更与影响分析、软件数据挖掘、克隆代码检测与分析、软件重用。

软件分析测试（研究生，2014~2018）