可视程序设计语言形式化规范的研究被引量：1

The Formal Specification of Visual Programming Languages

下载PDF

导出

摘要在计算机领域引入程序可视化技术，把图形技术融进程序设计中，其目的在于减少人与机器交流的障碍。首先简述可视程序设计的基本概念，然后介绍可视程序设计语言的形式化描述，如图形系统的形式化规范、图标操作符、图标语句的语法与语义分析描述。

作者施小英庄伟波胡环荣

机构地区上海交通大学计算机系

出处《计算机工程》 CAS CSCD 北大核心 1996年第5期10-13,共4页 Computer Engineering

关键词可视程序设计广义图标形式化规范程序语言

同被引文献2

1陈幼松.可视程序设计[J].电脑技术——Hello-IT,1995(5):5-6.
2董东,李瑞台.可视程序设计语言在CASE工具中的应用[J].河北师范大学学报（自然科学版）,2000,24(3):314-315.
3陈德运,陈经明,胡士忠.可视程序设计语言形式化规范及应用的研究[J].计算机工程与应用,1999,35(3):33-35. 被引量：2
4张自力.可视语言十年进展[J].计算机科学,1996,23(2):28-32. 被引量：1
5施小英,庄伟波,胡环荣,顾芝祥,潘锦平.可视程序设计环境的研究──JT－VPE系统的设计与实现[J].上海交通大学学报,1996,30(6):126-129.
6吴伟民.可视程序设计及其认知意义[J].华南师范大学学报（自然科学版）,1994,26(3):6-11. 被引量：4
7刘石,李合,王啸吟,张路,谢冰.基于语法与语义分析的代码搜索结果优化[J].计算机科学,2009,36(8):165-168. 被引量：6
8周璐,蔡勋,李晓梅.可视计算机组成技术[J].计算机科学,1996,23(2):21-27. 被引量：3

计算机工程

1996年第5期

内容加载中请稍等...