作者投稿和查稿 主编审稿 专家审稿 编委审稿 远程编辑

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

• 论文 • 上一篇    下一篇

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

施小英,庄伟波,胡环荣   

  1. 上海交通大学计算机系
  • 发布日期:1996-10-25

The Formal Specification of Visual Programming Languages

  • Published:1996-10-25

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

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

中图分类号: