COMP6721 （非）形式化方法：失传的艺术 · (In-)Formal Methods: The Lost Art

COMP6721 是新南威尔士大学（UNSW Sydney，UNSW）的一门课，开设在Faculty of Engineering，属于 School of Computer Science and Engineering 领域。这一页汇总它的课程目录信息和新南学生留下的评价。

课程信息

中文课名：（非）形式化方法：失传的艺术

课程类型：Undergraduate course

学分：6

课程领域：School of Computer Science and Engineering

所属学院：Faculty of Engineering

层级：Postgraduate Level 6

目录年份：2026

课程简介

(In-)Formal Methods are practical structuring and design patterns that encourage programming that is easy to understand and to maintain. They are only a part of the large body of “good programming practices,” distinguished from that larger set because –for the methods we consider– the computer-science community has determined the science behind the structures: we know why they are effective.

学生评价、难度与工作量

还没有新南学生给 COMP6721 写过评价。有人写了之后，这里会显示实用性、难度（difficulty）、推荐度和具体的课程体验——在那之前它是空的，不会用生成内容填满。

同领域课程

官方页面

COMP6721 handbook

独立学生社区，与新南威尔士大学官方无隶属关系。