Collaborative Research: IUSE: EHR: Engaged Student Learning Exploration and Design Tier: Engaging and Enabling Learners to Reason Logically about Code

该项目的意义在于，将增强学生的逻辑推理能力，从而提高毕业后开发的软件质量。为了实现这一目标，该项目将采用一个包含交互式推理指南的集成系统，以帮助克服个人和集体的学习障碍。 这些指南将促进学生的渐进学习和教育工作者的渐进采用。 指南固有的自动化功能将使它们成为影响个性化和在线环境中的学习以及接触不同受众的理想工具。该项目的目标包括使学生能够正确推理所有有效输入的代码组合，使用自动验证引擎辅助的逻辑推理方法查明细粒度的学习障碍，并定制必要的辅导来帮助学生克服这些障碍。范围包括介绍性编程库中的常见代码习惯用法和更高级的基于组件的软件工程概念（例如合同）。 底层验证引擎使交互式指南能够提供一类学习者活动和定向逻辑反馈，这是标准 IDE（交互式开发环境）（例如 Eclipse）无法实现的。 研究和评估将重点关注指南如何吸引学生以及如何改进学习。

The significance of the project is that it will enhance the logical reasoning ability of students, and thus improve the quality of the software they develop after graduation. To make this possible, the project will employ an integrated system of engaging interactive reasoning guides to help overcome individual and collective learning obstacles. These guides will facilitate incremental learning for students and incremental adoption for educators. The automation inherent in the guides will make them an ideal vehicle for impacting learning in personalized and online settings and for reaching a diverse audience.The project goals include enabling students to reason correctly about code compositions on all valid inputs, pinpointing fine-grain learning obstacles using a logical reasoning approach aided by an automated verification engine, and tailoring the tutoring necessary to help students overcome those obstacles. The scope includes common code idioms from the introductory programming repertoire and more advanced component-based software engineering concepts such as contracts. The underlying verification engine makes it possible for the interactive guides to offer a class of learner activities and directed logical feedback not possible with standard IDEs (Interactive Development Environments) such as Eclipse. Research and evaluation will focus on how well the guides engage students and how learning is improved.