COMP3141 Software System Design and Implementation
COMP3141 软件系统设计与实现
概述 本课程将介绍软件系统开发中设计和实现阶段的严谨和形式化方法。同时还考虑设计的测试和重用。在可能的情况下，将使用可以辅助过程的软件工具。教材将通过案例研究的方式呈现，并要求学生完成一个项目。
报名条件 先修课程: COMP1927 或 COMP2521
COMP3141 Software System Design and Implementation
COMP3141 软件系统设计与实现
概述 本课程将介绍软件系统开发中设计和实现阶段的严谨和形式化方法。同时还考虑设计的测试和重用。在可能的情况下，将使用可以辅助过程的软件工具。教材将通过案例研究的方式呈现，并要求学生完成一个项目。
报名条件 先修课程: COMP1927 或 COMP2521