检索结果-维普期刊中文期刊服务平台

PASCAL过程蓝图被引量：2: 1; 作者刘建宾郝克刚《计算机工程与设计》 CSCD 北大核心 2000年第6期28-31,共4页; 提出一种面向标准PASCAL语言的程序处理逻辑图形化表示法—PASCAL过程蓝图。这种工程化表示法支持逻辑和实现两个层次的程序抽象表示，是一种简单实用、容易理解、结构良好的程序设计工具。文中给出PASCAL过程蓝图的形式化模型，抽象逻... 展开更多; 关键词 pascal语言程序设计过程蓝图图形表现; 在线阅读下载PDF 职称材料

抽象逻辑结构图导出PASCAL过程蓝图的方法被引量：1: 2; 作者刘建宾郝克刚《计算机工程与设计》 CSCD 2001年第3期24-27,共4页; 概念层抽象逻辑结构图是一种不依赖于程序实现语言的概念算法描述工具。文中给出概念抽象逻辑结构图到ＰＡＳＣＡＬ过程蓝图的平滑过渡方法及概念结点到逻辑结点的映射规则，给出了抽象逻辑结构图程序表示的有效性定义，导出ＰＡＳＣＡ... 展开更多; 关键词抽象逻辑结构图 pascal语言程序设计有效性平滑过渡; 在线阅读下载PDF 职称材料

PASCAL过程蓝图到抽象逻辑结构图的逆向映射: 3; 作者刘建宾李小英《计算机工程与设计》 CSCD 2002年第3期1-4,7,共5页; 给出PASCAL过程蓝图逻辑结点到抽象逻辑结构图概念结点的逆向映射规则，并通过构造与双向映射规则集表示等价的双向映射关系图,揭示了两个映射规则集之间的关系和特性。在定义概念层表示与PASCAL逻辑层表示之间双向映射函数的有效性概... 展开更多; 关键词过程蓝图抽象逻辑结构图有效性程序设计 pascal语言逆向映射; 在线阅读下载PDF 职称材料