Collaborative Research: "Hands-On" Collaborative Reasoning across the Curriculm

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

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.