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

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

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. ***