Educational Innovation: Exploring a Safe Approach to Software Engineering

9713032莱斯大学R. Cartwright CISE教育创新：探索一种安全的软件工程方法CISE教育创新奖支持开发一种新的软件工程本科课程序列，该课程侧重于适用于类型安全语言的程序设计和验证的新兴原则。这些课程建立在高级设计原则的基础上，这些原则被纳入了赖斯大学新的入门编程序列，并借鉴了最近通过软输入和模块化程序组成进行算法验证的研究。目前正在开发两门针对高年级本科生的课程。第一门课程是使用安全语言的基础课程，重点关注程序和模块设计、验证、调试和性能调优的原则；第二门课程是跨学科的工作室课程，将基础课程的原则应用于编写创新的网络软件。这些课程有可能在将来对软件工程的课程作业产生重大影响。

9713032 Rice University R. Cartwright CISE Educational Innovation: Exploring A Safe Approach to Software Engineering This CISE Educational Innovation award supports the development of a new undergraduate course sequence in software engineering that focuses on emerging principles of program design and validation applicable to type-safe languages. These courses are built on the high-level design principles incorporated in the new introductory programming sequence at Rice and draw on recent research in algorithmic verification through soft typing and modular program composition. Two courses, targeted at upper-level undergraduates, are being developed. The first course is a foundations course using safe languages that focuses on the principles of program and module design, verification, debugging, and performance tuning and the second is an interdisciplinary studio course that applies the principles of the foundations course to writing innovative networking software. These courses have the potential to make major impact on course work in software engineering in the future.