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

协作研究：IUSE：EHR：参与学生学习探索和设计层：参与并帮助学习者对代码进行逻辑推理

• 批准号: 1937846
• 负责人: Joseph Hollingsworth
• 金额: $ 0.43万
• 依托单位: Rose-Hulman Institute of Technology
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2019
• 资助国家: 美国
• 起止时间: 2019-06-01 至 2020-06-30
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=1937846&HistoricalAwards=false
• 关键词: Collaborative; Research; IUSE; EHR; Engaged; Collaborative; Research; IUSE; EHR; Engaged

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.

该项目的重要性是它将增强学生的逻辑推理能力，从而提高毕业后开发的软件的质量。为了实现这一目标，该项目将采用综合系统，以吸引互动推理指南，以帮助克服个人和集体学习障碍。 这些指南将促进学生的逐步学习，并为教育工作者逐步采用。 指南中固有的自动化将使它们成为影响个性化和在线环境中学习并吸引多样化受众的理想工具。项目目标包括使学生能够正确地推理所有有效的输入上的代码组成，从而通过逻辑上的逻辑推理方法来通过一种自动化的验证引擎，可帮助学生来克服这些障碍。该范围包括介绍性编程曲目中的常见代码习语以及基于合同等基于组件的更高级的软件工程概念。 基础验证引擎使交互式指南可以提供一类学习者活动，并通过标准IDE（交互式开发环境）（例如Eclipse）提供指导逻辑反馈。 研究和评估将集中于指南的吸引学生的能力以及如何改善学习。