抽象逻辑结构图导出PASCAL过程蓝图的方法

作     者：刘建宾 郝克刚 

作者机构：汕头大学工学院计算机系汕头515063 西北大学计算机系西安710069 

基　　金：国家863项目(863-306-ZT02-04-01) 国家自然科学基金项目(60073050) 

出 版 物：《计算机工程与设计》 (Computer Engineering and Design)

年 卷 期：2001年第22卷第3期

页      码：24-27页

摘      要：概念层抽象逻辑结构图是一种不依赖于程序实现语言的概念算法描述工具。文中给出概念抽象逻辑结构图到ＰＡＳＣＡＬ过程蓝图的平滑过渡方法及概念结点到逻辑结点的映射规则，给出了抽象逻辑结构图程序表示的有效性定义，导出ＰＡＳＣＡＬ抽象逻辑结构图的有效性定理及其证明。

主 题 词：抽象逻辑结构图 PASCAL语言 程序设计 有效性 平滑过渡 

学科分类：08[工学] 0835[0835] 081202[081202] 0812[工学-测绘类] 

D　O　I：10.3969/j.issn.1000-7024.2001.03.007

馆 藏 号：203341815...