Educational Innovation: Exploring a Safe Approach to Software Engineering

9713032莱斯大学R·卡特赖特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.