PASCAL过程蓝图到抽象逻辑结构图的逆向映射

作     者：刘建宾 李小英 

作者机构：汕头大学工学院计算机系 

基　　金：国家863高科技项目(863-306-ZT02-04-01) 汕头大学"211"工程项目 

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

年 卷 期：2002年第23卷第3期

页      码：1-4,7页

摘      要：给出PASCAL过程蓝图逻辑结点到抽象逻辑结构图概念结点的逆向映射规则，并通过构造与双向映射规则集表示等价的双向映射关系图,揭示了两个映射规则集之间的关系和特性。在定义概念层表示与PASCAL逻辑层表示之间双向映射函数的有效性概念基础上，进一步给出双向映射函数的有效性定理。

主 题 词：过程蓝图 抽象逻辑结构图 有效性 程序设计 Pascal语言 逆向映射 

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

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

馆 藏 号：203197051...