Tools for Undergraduate Program Derivation

9451614 Naumann编程专业知识是基于坚实的理论基础以及实践经验。在西南大学，我们将程序从规范（由Edsger W. Dijkstra、David Gries等人开发和实践）中正式推导作为一年级计算机课程的中心组织主题。程序推导为大多数学生的后续学习提供了基础。为了支持冗长的程序和衍生程序的创建和修订，我们建议使用我们需要工作站计算机的“校对编辑器”。该证明编辑程序将促进学生之间的沟通和教师之间的一些学校在程序派生开发课程。先进工作站的可用性也将增强学生在其他几门课程中的实践经验。

9451614 Naumann Programming expertise is based on a solid theoretical foundation as well as practical experience. At Southwestern, we teach formal derivation of programs from specifications (as developed and practiced by Edsger W. Dijkstra, David Gries, and others) as the central organizing topic of our first-year courses in computing. Program derivation provides the foundation for most of the student's subsequent study. To support the creation and revision of lengthy programs and derivations, we propose to use a "proof editor" for which we need workstation computers. The proof editor program will facilitate communication among students and among faculty at a number of schools developing courses in program derivation. Availability of advanced workstations will also enhance student's practical experience in several other courses.