CISE Educational Infrastructure: Integrating Object- Oriented Programming and Formal Methods into the C.S. Curriculum

该奖项旨在表彰为计算机科学课程的形式化方法和面向对象程序设计的早期入门编写的教育材料。将开发有关运算、指称和逻辑语义的材料，以及用于面向对象编程和设计教学的实验室练习和相关材料。高露洁大学计划建立一个计算机科学教育工作者的网络，这些教育者来自各种各样的机构，他们将为这个项目做出贡献。课程材料将通过互联网传播，并在讲习班和其他教育和专业会议上提出。高露洁大学计划开发面向对象编程和形式化方法的教材，用于中级计算机科学课程的介绍。面向对象编程和设计方面的工作将侧重于几个硬件平台的实验室材料的开发；形式化方法的研究将集中在两个主要领域：程序验证和操作、指称和逻辑语义。课程和材料编制的成果将通过互联网络传播，并将在讲习班、教育和专业会议上提出。

This award is for the development of educational materials for early introduction into the computer science curriculum of formal methods and object-oriented programming. Material on operational, denotational, and logical semantics will be developed, as well as laboratory exercises and related materials for teaching object-oriented programming and design. Colgate University plans to develop a network of computer science educators from a wide variety of institutions who will contribute to this project. Curriculum materials will be disseminated through Internet, and presented at workshops, and at other educational and professional meetings. Colgate University plans to develop materials in object- oriented programming and in formal methods for introduction into intermediate-level computer science courses. Work on object-oriented programming and design will focus on the development of laboratory materials for several hardware platforms; work on formal methods will focus on two major areas: program verification and operations, denotational and logical semantic. The results of the curriculum and materials development will be disseminated through Internet, and will be presented at workshops, and educational and professional meetings.