软件工程中的形式化方法(全英)

该课程本人并未选修，但知道大概情况，授课教师是Q.L Chen

当时没选这个课是因为听说给分较低，为了保住分数没敢直接选。此课完全的报告结课且没有任何具体评分标准，0考勤0其他作业要求，不过后来听说24年给分还可以

我了解到这门课非常好水，不过需要提前准备好报告，24年是在六月初就提交报告了，应该是上课的最后一两周当堂提交，当时具体要求是：

各位同学好，关于期末课程论文，说明如下：

（1）内容只要和形式化方法相关就行，不限于教材里面的方法，偏理论研究和应用研究都可以。

（2）评分标准是：结构完整，逻辑清晰，符合学术论文的规范（参考论文模版，学期开始时提供），能体现一定的学术研究水平。

（3）6月3日上课时交上来。

出于了解课程我在学期开始的前两周还是去听了一下课的，老师讲英文听起来挺舒服的，不过这课的东西显然暂时没有派上用场的机会，除非你志在搞关于软件工程的研究。关于24年给分还可以的评价，听闻我班有与老师关系较好的学生，轻易被捞上95分，甚至还在一学期里捞出来五个专利，但是上一级有被打70来分的情况。总之，对分数有要求的可以赌一赌，跟老师多交流交流；对分数没要求，追求早毕业的同学放心选