%0 Journal Article
%T kbe—pascal:基于知识的程序编辑
%A 郑国梁？
%A 唐清？
%J 软件学报
%P 48-53
%D 1991
%X kbe-pascal是一种交互式的程序设计助手系统,其意图是程序员完成设计和实现的困难部分,由kbe-pascal尽可能地帮助他。kbe-pascal的主要基础是格局,这是一种表示程序的方法,它抽去了程序的非基本特性,且明显地表示出算法的基本逻辑特性。kbe-pascal的设计目标是通过引用格局库中的断片,快速正确地构造程序。它的目标语言是pascal。目前该系统由四部分组成:编码程序,用以产生对应于格局的程序正文;一个通用算法片断格局库;格局编辑程序,使得程序能通过修改格局而达到修改程序的目的;正文
%U http://www.jos.org.cn/ch/reader/view_abstract.aspx?file_no=19910408&flag=1