|
|||||
|
|
| PASCAL过程蓝图到抽象逻辑结构的逆向映射 | |
| 作者姓名： | 刘建宾 李小英 |
| 作者单位： | [1]汕头大学工学院计算机系，汕头515063 [2]西北大学计算机系，西安710069 |
| 摘 要： | 给出PASCAL过程蓝逻辑结点到抽象逻辑结构图概念结点的逆向映射规则，并通过构造与双向映射规则集表示等价的双向映射关系图，揭示了两映射规则集之间的关系和特性。在定义概念层表示与PASCAL逻辑辑层表示之间双向映射函数的有效性概念基础上，进一步给出向映射函数的有效性定理。 |
| 关 键 词： | 过程蓝图 抽象逻辑结构图 有效性 程序设计 Pascal语言 逆向映射 |
| 本文献已被 维普 等数据库收录！ | |