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

CISE 教育基础设施：将面向对象编程和形式化方法集成到计算机科学课程中

• 批准号: 9214874
• 负责人: Christopher Nevison
• 金额: $ 40.41万
• 依托单位: Colgate University
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 1992
• 资助国家: 美国
• 起止时间: 1992-09-01 至 1996-08-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=9214874&HistoricalAwards=false
• 关键词: CISE; Educational; Infrastructure; Integrating; Object

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.

这个奖项是为了教育的发展 计算机科学早期入门材料 形式化方法和面向对象程序设计课程。 关于操作、指称和逻辑语义学的材料 将制定，以及实验室演习和有关 面向对象编程和设计的教学材料。 科尔盖特大学计划开发一个计算机网络 来自各种机构的科学教育工作者， 为这个项目做出贡献。 课程材料将 通过互联网传播，并在讲习班上介绍， 在其他教育和专业会议上。 高露洁大学计划开发实物材料- 面向程序设计和形式化方法的介绍 中级计算机科学课程。 工作 面向对象的编程和设计将侧重于 为几种硬件开发实验室材料 关于正式方法的工作将侧重于两个主要方面： 领域：程序验证和操作， 逻辑语义 课程和材料的结果 发展将通过互联网传播，并将 在讲习班上提出，教育和专业 会议.