期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到2篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
基于多语言范例的“形式语义学”教学辅助系统
1
作者 金英 郑晓娟 +1 位作者 张晶 孙旭东 《吉林大学学报（理学版）》 CAS CSCD 北大核心 2009年第3期530-536,共7页
针对简单函数式语言、简单过程式语言和简单面向对象式语言等多个程序语言范例,分别定义了它们的操作语义和指称语义,同时设计了一个"形式语义学"教学辅助系统,用于演示不同语言范例程序的基于形式语义定义的可视化解释,该系... 针对简单函数式语言、简单过程式语言和简单面向对象式语言等多个程序语言范例,分别定义了它们的操作语义和指称语义,同时设计了一个"形式语义学"教学辅助系统,用于演示不同语言范例程序的基于形式语义定义的可视化解释,该系统使学生可以通过形象生动的动态演示和同步解释,充分理解和掌握程序设计语言的形式语义及其实现. 展开更多
关键词 形式语义学 可视化教学辅助系统 增量式设计 实践驱动教学
下载PDF
200万元 南航启用高性能图像系统
2
作者 胡蕾 《中国计算机用户》 2002年第18期13-13,共1页
关键词 中国南方航空公司 高性能图像系统 表现评估系统 可视化辅助教学系统
下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
使用帮助 返回顶部