论文部分内容阅读
在计算机领域引入程序可视化技术，把图形技术融进程序设计中，其目的在于减少人与机器交流的故障。首先简述可视程序设计的基本概念，然后介绍可视程序设计语言的形式化描述，如图形系统的形式化规范，图标操作符，图标谗句的语法与语义分析描述。
可视程序设计语言形式化规范的研究
【摘 要】
：
在计算机领域引入程序可视化技术，把图形技术融进程序设计中，其目的在于减少人与机器交流的故障。首先简述可视程序设计的基本概念，然后介绍可视程序设计语言的形式化描述，如图形
【机 构】
：
上海交通大学计算机系
【出 处】
：
计算机工程
【发表日期】
：
1996年5期
其他文献
该文介绍了ＡＴＭ网络中的一种新业务ＡＢＲ业务的管理及其最新发展，讨论了ＡＢＲ业务的管理模型，包括业务管理的目标，带宽分配，ＡＢＲ业务的拥塞控制机制及ＡＢＲ业务的特性等。
2015年1月6日,最高人民法院公布了《最高人民法院关于审理环境民事公益诉讼案件适用法律若干问题的解释》（以下简称《解释》）,其中第十八条到第二十二条规定了提起环境公益诉讼
美术教育系在美术教育体系中扮演着"通才教育"的角色,与绘画、设计两大门类平分秋色,具有不容忽视的重要地位。它是专门培养集绘画理论、技法,设计理念、技巧和心理学、教育
并行工程（ＣＥ）的信息种类繁多，结构复杂，并且数据量非常大，需要存储在异构分散的数据库中，为方便应用和各种ＣＥ工具的集成，需对它们对行统一管理。信息资源字典系统（ＩＲＤＳ）从广义的概念上支持三模
文章方要研究ＮｅｔＷａｒｅ ＮＬＭ多线程。多任务服务器应用的工作原理和控制机制，探讨了设计与实现ＮＬＭ和基于ＮＬＭ的客户机－服务器模式应用的主要技术问题。
介绍了传真调制解调标准ITU-T V.29,分析了用纯软件的方法实现调制解调的特点和关键技术,给出了一种基于TMS320C6201定点DSP的实现方案.该方案可以完全实现V.29各项功能.
近日,某开发区一名女子用电热水器洗澡时触电,当场身亡。她的身体左侧皮肤灼伤严重,赶到现场的医生虽对其进行心肺复苏,但已无力回天。女子丈夫痛心地说：＂妻子为了热水供应充足
近年来,一种肠癌无创筛查检测技术受到越来越多人的青睐。是否患有肠癌,只需做个粪便检测便知。这项粪便基因检测技术,就是通过检测粪便中的肿瘤基因,来判断受检者是否可能患
摄影的历史虽然短暂却极其复杂,它渗透在人类社会生活的众多层面,新闻、广告、医疗、军事、科学、教育、家庭生活记录等领域都少不了它的身影,而数码相机的普及更使我们步入
艺术考察一直是天津美术学院美术史论系本科生的必修课，本系2008级本科学生在艺术考察期间恰逢美术史论系《新形势下美术史教学创新模式研究》项目实施，这一项目的重要组成部分