Program Derivation for a Data Structures Course

计算机编程通常主要通过实例来教授，人们对更系统化的方法，特别是数学上严格的“形式化方法”有着广泛的兴趣。现在有一些本科水平的编程入门课程的教材和教学材料使用了一种叫做程序推导的方法，即通过计算从它们的说明书中推导出正确的程序。目标是为基于程序派生的本科数据结构课程开发课堂讲稿和编程作业。这些材料是基于目前在课堂上使用的材料，并将由其他大学的教育工作者评估其内容和是否适合用于数据结构的本科课程。通过满足对基于广泛的程序推导研究文献的教学材料的需求，本项目直接使希望教授基于科学的系统编程方法的教育工作者受益。通过提供与更传统方法的教科书同等的材料，该项目有助于为基于正式方法的课程和其他课程之间的有意义的比较提供基础。

9455660 Naumann Computer programming is often taught primarily by example, and there is widespread interest in more systematic methods, especially mathematically rigorous "formal methods". There are now undergraduate level textbooks and teaching materials for beginning programming courses using the method called program derivation, whereby correct programs are derived from their specifications by calculation. The objective is to develop lecture notes and programming assignments for an undergraduate data structures course based on program derivation. The materials are based on those now being used in the classroom, and will be evaluated by educators at other universities for content and suitability for use in undergraduate courses in data structures. By meeting the need for instructional material based on the extensive research literature on program derivation, this project directly benefits educators who wish to teach scientifically based systematic methods of programming. By providing material on par with textbooks for the more traditional approach, this project helps to provide a basis for meaningful comparison between curricula based on formal methods and other curricula.