Collaborative Proposal: Integrating Mechanized Logic into the Software Engineering Curriculum

计算机科学(31)“协作提案：将定理证明融入软件工程课程”项目正在创建教育材料，教授确保软件工程过程中的正确性属性的正式方法。智力优势：这个项目正在使用ACL2和DrProgram来开发一个软件工程课程，该课程强调设计以及软件设计和软件质量组件中正确性的机械化证明。更广泛的影响：这个项目正在通过开发一套20多个完整的文档项目来影响软件工程教育，这些项目用于使用ACL2的软件工程课程。他们正在通过在区域和国家会议上的发言来传播其成果。

Computer Science (31)The "Collaborative Proposal: Integrating Theorem Proving into the Software Engineering Curriculum" project is creating educational materials to teach formal methods for ensuring correctness properties during software engineering. Intellectual Merit: This project is using ACL2 and DrScheme to develop a software engineering curriculum that stresses design and mechanized proofs of correctness in its software design and software quality components. Broader Impact: This project is impacting software engineering education by developing a set of more than 20 fully documented projects for use in software engineering courses that employ ACL2. They are disseminating their results through presentations at both regional and national conferences.