软件工程基础理论系列课程的主要关注点是如何基于数学（形式化）方法为软件的设计、分析、验证及维护提供可靠的理论支撑；同时能够更加深入的理解软件行为特征。基础理论的学习是软件工程教育的重要环节。它能够提高学习者抽象思维以及逻辑思考能力，更好的掌握软件分析、设计、测试能力。本报告主要讲述研究生软件工程理论基础课程的目标、内容设置、课程重难点、考核方式等。
[软件工程理论, 课程建设]
刘万伟
