面向安全关键嵌入式软件工程的“编译原理”课程教学探索

• 作者: 杨志斌 黄志球
• 来源期刊: 工业和信息化教育
• 学科: 教育
• 关键词: 编译原理 安全关键嵌入式软件 形式化方法 课程改革
• 年，卷（期）: 2016,（3）
• 所属期刊栏目: 专业与课程建设
• 页码范围: 23-25
• 页数: 3页
• 分类号: G642
• 字数: 2059字
• 语种: 中文

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	黄志球	南京航空航天大学计算机科学与技术学院	183	1755	20.0	33.0
2	杨志斌	南京航空航天大学计算机科学与技术学院	7	10	1.0	3.0