哈工大李秋豪学长翻译资源 Software Engineering徐汉川老师课程讨论题01静态检查02Java基础03测试04代码评审05版本控制06规格说明07设计规格说明08可变性与不变性09避免调试10抽象数据类型ADT11抽象函数表示与不变量12接口与枚举13调试14暂缺15相等