Collaborative Research: "Hands On" Collaborative Reasoning across the Curriculum - Phase II

软件无处不在，但它的开发仍然容易出错。软件缺陷的修复是昂贵的，并且可能导致任务失败、基础设施损坏和生命损失。为了避免下一代的软件失败，我们的学生必须学习必要的技能，对他们开发的软件进行严格的推理。该项目正在开发学生练习，以在计算机科学课程的多个课程中教授数学推理原理。先前的研究结果表明，这种方法可以提高学生的学习能力和对分析推理的态度。预期的结果包括几个基于网络的学习模块，称为推理助手。这些互动练习和教程允许学生探索软件验证、分析性能、基于组件的契约和测试。推理助手辅以一系列课堂上的协作练习。各种各样的机构正在使用和评估这些材料。预计将有数百名学生和十几名教师参加。

Software is ubiquitous, yet its development remains error-prone. Software defects are expensive to fix and can result in mission failure, infrastructure damage, and loss of life. To avoid another generation of software failure, our students must learn the skills necessary to reason rigorously about the software they develop. This project is developing student exercises to teach principles of mathematical reasoning in multiple courses across the computer science curriculum. Previous results suggest this approach increases student learning and attitude towards analytical reasoning.Expected outcomes include several web-based learning modules called Reasoning Assistants. These interactive exercises and tutorials allow students to explore software verification, analytical performance, component-based contracts and testing. The reasoning assistants are complemented by a collection of in-class collaborative exercises. Materials are being used and assessed at a diverse set of institutions. Several hundred students and a dozen faculty are expected to participate.