Laboratories in a Formal Methods-and OOP-Oriented Approach to the Early Computer Science Curriculum

面向对象编程（OOP）已经得到了广泛的接受，并且在一些机构中相对较早地教授。在入门级使用形式方法（FM）是不寻常的，但它的使用已被证明对第一门计算机科学（CS）课程的学生有具体的好处。 这个项目的目标是将OOP和FM集成到早期的CS序列中，从而导致一个二年级的课程，其中OOP和FM结合在面向对象设计的介绍中。这一课程将成为前面课程的顶点和后面课程的入口。 实现这一目标的计划是建立在Troeger在使用FM教授第一个CS课程中所取得的成功，以及在第二个课程中使用OOP所取得的成功的基础上。这将在第二门课程中产生FM和OOP的混合，传统上称为数据结构。混合将在一个初级的水平，当然，但真实的。然后在顶点/网关课程中，引入面向对象设计作为这些思想的延续，应用于更大和更现实的问题，并引入更多的OOP方法。 这个项目的目标受众是每一所教授计算机科学的学校。 该项目预计将对CS的教学产生重大影响。该部正计划通过讲习班、论文和介绍以及它已签订合同的两本教科书来传播成果。

Object-Oriented Programming (OOP) has gained wide acceptance and is being taught at a relatively early level at some institutions. The use of Formal Methods (FM) at the introductory level is unusual, but its use has been demonstrated to have concrete benefits for students in the first computer science (CS) course. The objective of this project is to integrate OOP and FM into an early CS sequence, leading to a sophomore course in which OOP and FM are combined in an introduction to object-oriented design. This course becomes a capstone of what precedes it and a gateway to what follows. The plan to accomplish this goal is to build on Troeger's demonstrated success in teaching the first CS course using FM, and the success demonstrated here and elsewhere in using OOP in the second course. This will yield a blend of FM and OOP in the second course, traditionally called Data Structures. The blend will be at an elementary level, of course, but real. Then in the capstone/gateway course, object-oriented design is introduced as a continuation of these ideas, applied to larger and more realistic problems and with more of the OOP methodology brought in. The intended audience for this project is every school teaching computer science. This project is expected to have a major impact on how CS is taught. The department is planning to disseminate results through workshops, papers and presentations, and two textbooks for which it already has contracts.