论文部分内容阅读
模型驱动开发方法和形式化验证技术逐渐成为安全关键嵌入式软件设计与开发的重要手段,其中模型转换、代码自动生成等技术都是编译原理知识的具体体现.本文分别从理论教学、课程设计及研究型教学3个方面介绍了笔者关于“编译原理”课程教学模式和方法的-些探索.经过近一年的教学改革和实践,取得了较好的教学效果.
面向安全关键嵌入式软件工程的“编译原理”课程教学探索
【摘 要】
：
模型驱动开发方法和形式化验证技术逐渐成为安全关键嵌入式软件设计与开发的重要手段,其中模型转换、代码自动生成等技术都是编译原理知识的具体体现.本文分别从理论教学、课
【机 构】
：
南京航空航天大学计算机科学与技术学院
【出 处】
：
工业和信息化教育
【发表日期】
：
2016年3期
其他文献
<正>总量2017年4月我国共进口税则号4101的生牛皮79 734.77 t,环比3月下降11.33%,同比2016年3月下降1.03%,价值152 465 909美元,环比3月下降14.04%,同比下降0.59%。进口月度
<正>民族的才是世界的!随着消费者要求的多样化、个性化以及体验新鲜感的提升,同质化的餐厅对消费者的吸引力越来越小。民族文化主题餐厅作为主题餐厅的一种类型,不仅可以弘
我国的政府体制改革就是要实现政府体制的高效化,即通过改革,提高政府机构的工作效率,使其成为现代化建设和改革事业的强大推动力量.简单说,就是建立民主、透明、高效、廉洁
农产品质量安全建设是新时代农业和农村经济建设工作的新任务,也是以人为本,关注民生,构建和谐社会的新要求。人们生活水平的提高和消费观念的转变,对农产品的质量安全十分重
本文主要应用轴常规强度校核方法和有限元分析方法,对力矩加载传动轴在试验过程中装配精度和试验力矩的安全系数进行分析,并对试验中轴的断裂情况进行对比,提出测试件的安全
目的有针对性的分析和研究医院外来器械管理中的问题及应对措施,希望从根本上提升医疗护理效果。方法着重针对我们医院在2017年10月~2018年10月针对医院外来器械管理过程中的
<正>在探讨媒体融合发展路线时,地方媒体需要思考一个问题:是要立足于本媒体单打独斗,还是立足于全省(市)党政媒体资源整合共赢发展?站的高度不一样,格局自然也不同。传统媒
<正>11月14日,福田汽车集团在上海举行"福田汽车集团&福田戴姆勒汽车2016中国上海智能网联汽车展览会暨福田自动驾驶超级卡车发布仪式",正式发布国内首款可实现无人驾驶的卡
伴随着经济全球化,工业工程在长三角和珠三角地区的兴起,工业工程的理论和方法在制造业中越来越受重视,很多公司已经将工业工程作为一种手段,用来提升企业内部生产效率。并且如今的技术越来越先进,越来越寻求个性化,这些对国内外的各行各业都产生了极深的影响,行业与行业之间的竞争也愈来愈激烈了。致使产品的更新换代越来越快,各个公司只有越来越完善、越来越强大才能更好地生存下去。每个公司都在提高自己的竞争优势,为了