论文标题
比编程更多的编程：在软件工程计划中教授形式方法
More Programming Than Programming: Teaching Formal Methods in a Software Engineering Programme
论文作者
论文摘要
软件正确性的正式方法对于软件工程的未来至关重要 - 因此，必须是软件工程教育的重要组成部分。不幸的是，由于令人难以置信的困难，数学和实际无关紧要，正式方法通常受到学生的抵抗。我们使用求解器辅助语言DAFNY通过采用编程密集型方法来重新开发我们的软件正确性课程，从而通过自动评估提供了即时的形式反馈。我们的重新开发课程增加了学生的保留率，并至少在十年中对课程进行了最佳评估。
Formal methods for software correctness are critical to the future of software engineering - and so must be an essential part of software engineering education. Unfortunately, formal methods are often resisted by students due to perceived difficulty, mathematicity, and practical irrelevance. We redeveloped our software correctness course by taking a programming intensive approach, using the solver-aided language Dafny to provide instant formative feedback via automated assessment. Our redeveloped course increased student retention and resulted in the best evaluation for the course for at least ten years.
