Overcoming Impediments to Computer Science Students' Understanding of Code: Scaling Up Automated Methods and Broadening Participation
Overcoming Impediments to Computer Science Students' Understanding of Code: Scaling Up Automated Methods and Broadening Participation
批准号:
1915334
负责人:
Jinwoo Jang
金额:
$16.25万
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
2019
资助国家:
美国
项目状态:
已结题
起止时间:
2019-10-01 至 2024-09-30
中文摘要
点击翻译按钮获取中文摘要
英文摘要
With support from the NSF Improving Undergraduate STEM Education Program: Education and Human Resources (IUSE: EHR), this project aims to serve the national interest by improving computer science education. To achieve this goal, the project will identify misunderstandings that arise when students reason about code and develop strategies to overcome these misunderstandings. The project will focus on using automated analysis to teach students how to use mental execution and/or tracing to predict the execution behavior of program code, one of the most basic and important objectives of computing education. The ability to trace through a segment of code to understand its behavior is central to learning how to write new programs, as well as to reason about, debug, and improve existing programs. The best programmers can predict behavior on specific inputs, and extend their reasoning to generalized inputs, developing an abstract, broad understanding. This project seeks to identify the aspects of automated methods that are most effective in identifying and overcoming learning obstacles associated with students' reasoning about software code.This project has two objectives. First, it aims to understand the learning obstacles students face in tracing code on specific, concrete inputs, and the obstacles they ultimately face in generalizing that reasoning to abstract, symbolic inputs. Second, the project aims to understand why these obstacles arise and how they can be overcome. To collect and analyze information about student reasoning, as well as to provide student feedback, the project will develop an online reasoning tutor that can capture and respond to students' choices, written explanations, and verbal explanations. These online reasoning tutors will be used in conjunction with other instructional strategies to support development of students' abilities to reason about code. To enable the findings to be broadly applicable to all students, the research will include diverse student populations. The effort involves Clemson University, a large land-grant public institution, Florida Atlantic University, an HSI, and Howard University, an HBCU. The evaluation effort is led through Rose-Hulman. Computing is fundamental to the nation's society and commerce. To become successful computing professionals, student programmers need to develop the debugging and reasoning skills that are the focus of this project. The NSF IUSE: EHR Program supports research and development projects to improve the effectiveness of STEM education for all students. This is an Engaged Student Learning project; through the Engaged Student Learning track, the IUSE: EHR program supports the creation, exploration, and implementation of promising practices and tools.This award reflects NSF's statutory mission and has been deemed worthy of support through evaluation using the Foundation's intellectual merit and broader impacts review criteria.
期刊论文(2)
专著(0)
科研奖励(0)
会议论文
Tool-Aided Assessment of Difficulties in Learning Formal Design-by-Contract Assertions
学习形式化契约设计断言的困难的工具辅助评估
DOI:
10.1145/3396802.3396807
发表时间:
2020
期刊:
ECSEE '20: Proceedings of the 4th European Conference on Software Engineering Education
影响因子:
--
作者:
[Fowler, Megan, Kraemer, Eileen T., Sun, Yu-Shan, Sitaraman, Murali, Hallstrom, Jason O., Hollingsworth, Joseph E.]
通讯作者:
Hollingsworth, Joseph E.
DOI:
10.1145/3502718.3524793
发表时间:
2022
期刊:
Proceedings of the 27th ACM Conference on on Innovation and Technology in Computer Science Education Vol. 1 (ITiCSE '22
影响因子:
--
作者:
[Hurtig, Nathan, Hollingsworth, Joseph, Blankenship, Sarah, Kraemer, Eileen, Sitaraman, Murali, Hallstrom, Jason O.]
通讯作者:
Hallstrom, Jason O.
CRII: OAC: Scalable and Integrated Data Collection Platforms for Connected Vehicle Data
-
批准号:1948066
-
项目类别:Standard Grant
-
资助金额:$17.49万
-
财政年份:2020
-
负责人:Jinwoo Jang
-
依托单位:
MRI: Acquisition of a High-mix, Low-volume PCB Assembly System
-
批准号:1919937
-
项目类别:Standard Grant
-
资助金额:$23.33万
-
财政年份:2019
-
负责人:Jinwoo Jang
-
依托单位:
海外基金