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

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

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.