Required modules：所需模块 Software Measurement Testing： 软件测量测试 Model Driven Development： 模型驱动开发 Security Engineering： 安全工程 Individual Project： 单个项目 Optional modules： 可选模块 Agent Multi Agents Systems： 代理多代理系统 Security Management： 安全管理 Big Data Technologies： 大数据技术 Software Engineering Underlying Technology for Financial Systems： 金融系统软件工程底层技术 Distributed Ledgers Crypto currencies： 分布式账本加密货币 Software Architecture Design： 软件体系结构设计 Information Security： 信息安全 Human Computer Interaction： 人机交互 Compilers Formal Languages： 编译器形式语言 Computational Models： 计算模型 Formal Verification： 形式验证