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

EIA-0082849页，俄克拉荷马大学ITR：正式方法教育和编程的有效性：他们相关吗？软件经常伴随着编码错误，导致生命和生产力的损失。 这些问题已经通过改进的工具、规范的过程、更有效的设计和分析以及软件产品检查得到了解决。 这项研究通过更好的教育来解决这个问题。 这项工作旨在为整合的prosticalreasoning在计算教育的证据，导致提高编程技能。该项目将测量和比较两个队列的编程效率：一个研究编程环境中数学推理的核心概念，另一个研究纯数学环境中这些核心概念。 编程技能的比较措施将在随后的课程中的软件开发项目。 更多地了解编程能力和逻辑推理之间的关系，对于改善教育学生未来关键信息技术职位的课程来说，是重要的一步

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