软件工程（理学硕士）

第一学年课程包括以下必修模块： - 自动化软件验证（COMP6210）：涵盖测试与形式化验证等软件验证方法，强调逻辑作为程序规范语言的应用。 - 硕士项目与论文（ECSP6003）：在导师指导下开展深入研究，制定项目计划并完成研究项目。 - 研究方法与项目准备（ECSP6002）：为暑期研究项目提供必要的研究方法和规划技能。 - 关键系统软件建模工具与技术（COMP6226）：讲授从需求分析到设计的大型关键软件项目的建模技术与工具。 - 软件项目管理与安全开发（COMP6204）：介绍软件项目管理各阶段的知识体系、工具与技术，并强调安全开发实践。 此外，学生还需从以下选修模块中选择学习： 高级数据库（COMP3211）、高级编程语言概念（COMP6255）、算法博弈论（COMP6207）、密码学（ELEC6242）、数据经济（COMP6265）、面向AI系统的知识图谱（COMP6256）、移动应用开发（COMP6239）、软件安全（COMP6236）、Web与云应用开发（COMP6251）。 所有模块均为2026-27学年课程，构成完整的硕士阶段学习路径。