可视语言十年进展

本文对可视语言研究十年来的历史进行了简要的回顾，并着重对可视引喻（＊Ｖｉｓｕａｌ ｍｅｔａｐｈｏｒｓ），可视语言中的形式方法和可视程序设计等方面的研究进展进行了较详尽的综述。     

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

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

面向对象程序设计语言EIFFEL的程序正确性验证工具

本文简单介绍了国家八五科研重点攻关项目＜＜实用自动工具集的开发＞＞的专题＜＜自动验证工具＞＞的理论基础和开发成果。     

可视语言对软件工程的影响

８０年代中期经来，可视语言的研究形成了一个热潮，可视语言能支持概念程序设计。实现了的可视语言可以作为规范描述语言而产生可执行规范。这两个特点使可视语言在软件工程中具有极大的潜力。本文给出了一种新的软件开发模型，并列出两个典型系统予以说明。     

数据库的可视查询语言VQL

本文阐述数据库语言从ＱＢＥ到ＶＱＬ的发展过程，ＶＱＬ能表达ＯＯＤＢ的查询，是一个能表达否定，组合和受限全称量词的可视的数据库查询语言。     

机器人程序设计语言

本文回顾了机器人程序设计语言的发展历史，概述了机器人语言的特点，并着重介绍几种主要的机器人语言，最后指出现在机器人语言的不足及其未来的发展。     

面向agent的程序设计语言：DL—1

为适应协作分布式问题求解研究和应用的需要，我们研制了面各ａｇｅｎｔ的程序设计ＤＬ－１语言。ＤＬ－１语言由二部分组成：ＤＬ－１／ｓｙｓｔｅｍ和ＤＬ－１／ａｇｅｎｔ。ＤＬ－１／ｓｙｓｔｅｍ６主要用于显式地描述ＣＤＰＳ系统行政管理结构。     

可视编程面面观

未来的程序员将从传统的逐句编程中解脱出来,未来的编程将象连接电路一样简洁直观。 随着新的编程工具(如:Visual Ba-sic)的出现,“可视编程”逐渐成为主流计算(mainstream computing)的一个专业术语。不过,对这个词的理解却是见仁见智。一些人认为Visual Basic及VisualC~( ) 就是可视编程;另一些人觉得Visu-al Basic压根儿就不代表所谓“可视”的一系列不同的技术。除Visual Basic以外,可视编程工具还包括Digitalk公司     

面向对象的程序设计语言和环境Eiffel

本专辑比较系统地介绍了面向对象的程序设计语言Eiffel的基本概念,语言特征,EiffeI程序开发方法,另外还系统介绍了Eiffel编辑及其工具环境。     

概念式程序设计语言CONPL

CONPL(Conceptual Programming Language)是一个基于Horn子句的概念式程序设计语言,它允许用户使用自己的概念构造程序,因而所写的程序更接近对问题的描述,程序设计过程亦更为自然。本文介绍了CONPL主要设计思想,给出了其语法和语义的形式描述,并讨论了其实现方法。文中还对CONPL的应用前景作了探讨。     

函数式面向对象程序设计语言FOPL

本文介绍函数式面向对象程序设计语言ＦＯＰＬ的设计原则、主要特性及实现等方面的问题。     

并发产生式系统程序设计语言COPS5

开发产生式系统的并行性是加快产生式系统执行速度的主要和有效方法。本文从产生式系统的计算模型着眼讨论，提出了并发生产生式系统的计算模型－ＭＰｏｓｔ系统，并在ＯＰＳ５语言基础上设计实现了一种基于上述模型的并发产生式系统程序设计语言ＣＯＰＳ５。