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.