欢迎来到软件工程建模与形式化方法（2024年春）
这是北京交通大学软件学院2024年春季学期软件工程建模与形式化方法（M510006B）课程主页。
本课程开展形式为：
- 线下讨论课
- 线上课程资料讨论
- 课程作业练习
- 线下期末考试
怎样能够在本课堂获得好成绩？
- 仔细阅读教学大纲实施细则、KL教学平台使用手册、暂定教学日程，这当中包含了课堂的所有重要信息。
- 按时参与每一次线下授课，课程材料是授课教师精心准备的，认真听课会给你一种豁然开朗的感觉。
- 提前来到教室并坐在前排。
- 提早开始写作业。
- 积极参与线上讨论，别人有的问题你也可能有，只是你还没有意识到。