CISE Educational Infrastructure: Integrating A Formal Method Into the Software Engineering Curriculum

CISE 教育基础设施：将形式化方法融入软件工程课程

• 批准号: 9522257
• 负责人: Ann Sobel
• 金额: $ 29.18万
• 依托单位: Miami University
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 1995
• 资助国家: 美国
• 起止时间: 1995-07-01 至 2000-06-30
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=9522257&HistoricalAwards=false
• 关键词: CISE; Educational; Infrastructure; Integrating; Formal

9522257 Sobel This project is to integrate a formal method into a software engineering curriculum. The formal method chosen captures the external behavior of a system component while supporting both the compositionality of component specifications and the hierarchical decomposition of a system specification. The method will be introduced by a sequence of courses, beginning in the sophomore year, after two semesters of programming and one semester of discrete math. The first course will address the basic skills needed to apply formal method techniques and will not be coupled to any implemented language. The next course will apply the method to a particular programming language and the third course will extend the concepts to the analysis and design phases of the software life cycle. The last course in the sequence will address concurrency in depth. Finally, students will test the efficacy of their modified curriculum through an existing project-oriented senior capstone sequence. The project will be managed, monitored, and assessed by an advisory council, which will include members of the project and external consultants. The curriculum format, the evaluations used, and the final results will be made available to the academic community through publications and presentations. ***

9522257索贝尔 这个项目是将形式化方法整合到软件工程课程中。所选择的形式化方法捕获系统组件的外部行为，同时支持组件规范的组合性和系统规范的层次分解。该方法将通过一系列课程介绍，从大二开始，经过两个学期的编程和一个学期的离散数学。 第一门课程将解决应用正式方法技术所需的基本技能，不会与任何实现的语言相结合。下一门课程将把该方法应用于特定的编程语言，第三门课程将把概念扩展到软件生命周期的分析和设计阶段。序列中的最后一门课程将深入讨论并发性。最后，学生将通过现有的以项目为导向的高级顶点序列来测试他们修改后的课程的有效性。 该项目将由一个咨询理事会管理、监测和评估，该理事会将包括项目成员和外部顾问。课程格式，所使用的评估和最终结果将通过出版物和演示文稿提供给学术界。 ***