将形式化方法扎根于计算机科学与软件工程高等教育课程——一份白皮书
软件工程
2020-10-13 v1
摘要
本白皮书主张形式化方法需要更好地扎根于计算机科学与软件工程专业的高等教育课程之中。为此，它倡导(i)改进形式化方法的教学；(ii)在既有“经典”计算机科学课程中系统性地凸显形式化方法；以及(iii)在计算机科学与软件工程课程中纳入一门必修的形式化方法课程。这些建议基于如下观察：(a)形式化方法是提升软件质量的一种必要且具成本效益的手段；然而(b)计算机科学与软件工程培养方案通常未能提供充分的形式化方法训练；因而(c)缺乏有资格在工业界应用形式化方法的计算机科学毕业生。本白皮书是 2019 年 12 月 2-3 日在挪威卑尔根举行的第一届“形式化方法，人人乐享”国际研讨会作者与参会者的集体成果。因此，它代表了基于欧洲多所大学计算机科学与软件工程(无论是否含形式化方法)学习与教学所得的洞见。
引用
@article{arxiv.2010.05708,
title = {Rooting Formal Methods within Higher Education Curricula for Computer Science and Software Engineering -- A White Paper},
author = {Antonio Cerone and Markus Roggenbach and James Davenport and Casey Denner and Marie Farrell and Magne Haveraaen and Faron Moller and Philipp Koerner and Sebastian Krings and Peter Olveczky and Bernd-Holger Schlingloff and Nikolay Shilov and Rustam Zhumagambetov},
journal= {arXiv preprint arXiv:2010.05708},
year = {2020}
}