Author Login Chief Editor Login Reviewer Login Editor Login Remote Office

›› 1996, Vol. 22 ›› Issue (05): 10-13.

• Papers • Previous Articles     Next Articles

The Formal Specification of Visual Programming Languages

  

  • Published:1996-10-25

可视程序设计语言形式化规范的研究

施小英,庄伟波,胡环荣   

  1. 上海交通大学计算机系

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

关键词: 可视程序设计, 广义图标, 形式化现范

CLC Number: