ITR: Formal Methods Education and Programming Effectiveness: Are They Related?

eia -0082849页，RexUniversity of OklahomaITR：正规方法教育和编程有效性：它们是相关的吗？软件中经常存在编码错误，导致生命和生产力的损失。这些问题已经通过改进的工具、规范的过程、更有效的设计和分析以及软件产品检查得到解决。这项研究通过更好的教育解决了这个问题。这项工作为在计算机教育中整合数学推理以提高编程技能寻找证据。该项目将测量和比较两组的编程效率：一组在编程环境中研究数学推理的核心概念，另一组在纯数学环境中研究这些核心概念。在随后的课程中，软件开发项目将作为编程技能的比较标准。更多地了解编程能力和数学推理之间的关系是改进课程的重要一步，这些课程教育学生为未来的关键信息技术岗位做好准备

EIA-0082849Page, RexUniversity of OklahomaITR: Formal Methods Education and Programming Effectiveness: Are TheyRelated?Software is often laced with coding errors which result in loss of life andproductivity. These problems have been addressed by improved tools,disciplined processes, more effective design and analysis, and softwareproduct inspections. This research addresses the problem through bettereducation. This work seeks evidence for the integration of mathematicalreasoning in computing education as leading to improved programming skills. The project will measure and compare the programming effectiveness of twocohorts: one that studies core concepts of mathematical reasoning withinthe context of programming and another studying these core concepts in apure mathematical context. The comparison measure of programming skillswill be software development projects in a subsequent course. Learningmore about any relationships between programming ability and mathematicalreasoning can be an important step in improving curricula that educatestudents for the critical information technology positions of the future