Program Derivation for a Data Structures Course

小行星9455660 计算机编程通常主要通过示例来教授，并且对更系统的方法，特别是数学上严格的“形式方法”有广泛的兴趣。现在有本科水平的教科书和教材开始编程课程使用的方法称为程序推导，从而正确的程序是从他们的规格计算。目标是为本科生的数据结构课程开发基于程序推导的课堂讲稿和编程作业。这些材料是基于那些现在正在课堂上使用的，并将由其他大学的教育工作者进行评估，以确定其内容和是否适合在数据结构本科课程中使用。通过满足对基于程序推导的广泛研究文献的教学材料的需求，该项目直接使希望教授基于科学的系统编程方法的教育工作者受益。通过提供与传统教学法的教科书相同的材料，该项目有助于为基于正规教学法的课程与其他课程之间的有意义的比较提供基础。

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.