模型驱动开发方法和形式化验证技术逐渐成为安全关键嵌入式软件设计与开发的重要手段,其中模型转换、代码自动生成等技术都是编译原理知识的具体体现。本文分别从理论教学、课程设计及研究型教学3个方面介绍了笔者关于"编译原理"课程教学模式和方法的一些探索。经过近一年的教学改革和实践,取得了较好的教学效果。
科研之友
微信
新浪微博
Facebook
分享链接
