论文标题
在计算机科学和软件工程的高等教育课程中生根形式方法 - 白皮书
Rooting Formal Methods within Higher Education Curricula for Computer Science and Software Engineering -- A White Paper
论文作者
论文摘要
这份白皮书认为，正式方法需要更好地植根于计算机科学和软件工程研究计划的高等教育课程。为此，它提倡（i）改进形式方法的教学； （ii）在现有的“古典”计算机科学课程中系统地强调形式方法； （iii）包括计算机科学和软件工程课程中的强制性形式方法课程。 这些建议基于（a）形式方法是提高软件质量的必不可少的手段；但是（b）计算机科学和软件工程计划通常无法通过正式方法提供足够的培训；因此（c）缺乏计算机科学毕业生，他们有资格在行业中应用正式方法。 这份白皮书是第一届国际研讨会的作者和参与者的集体努力的结果，该研讨会在2019年12月2日至2日在挪威卑尔根举行。因此，它代表了欧洲各种大学的学习和教学计算机科学和软件工程（有或没有正式方法）的见解。
This white paper argues that formal methods need to be better rooted in higher education curricula for computer science and software engineering programmes of study. To this end, it advocates (i) improved teaching of formal methods; (ii) systematic highlighting of formal methods within existing, `classical' computer science courses; and (iii) the inclusion of a compulsory formal methods course in computer science and software engineering curricula. These recommendations are based on the observations that (a) formal methods are an essential and cost-effective means to increase software quality; however (b) computer science and software engineering programmes typically fail to provide adequate training in formal methods; and thus (c) there is a lack of computer science graduates who are qualified to apply formal methods in industry. This white paper is the result of a collective effort by authors and participants of the 1st International Workshop on "Formal Methods, Fun for Everybody" which was held in Bergen, Norway, 2-3 December 2019. As such, it represents insights based on learning and teaching computer science and software engineering (with or without formal methods) at various universities across Europe.
