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.