| 抽象逻辑结构图导出PASCAL过程蓝图的方法 |
| |
| 引用本文： | 刘建宾,郝克刚. 抽象逻辑结构图导出PASCAL过程蓝图的方法[J]. 计算机工程与设计, 2001, 22(3): 24-27 |
| |
| 作者姓名： | 刘建宾 郝克刚 |
| |
| 作者单位： | 1. 西北大学计算机系;汕头大学工学院计算机系
2. 西北大学计算机系 |
| |
| 基金项目： | 国家863项目(863-306-ZT02-04-01),国家自然科学基金项目(60073050). |
| |
| 摘 要： | 概念层抽象逻辑结构图是一种不依赖于程序实现语言的概念算法描述工具，文中给出概念抽象逻辑结构图到PASCAL过程蓝图的平滑过渡方法及概念结点到逻辑结点的映射规则，给出了抽象逻辑结构图程序表示的有效性定义，导出PASCAL抽象逻辑结构图的有效性定理及其证明。
|
| 关 键 词： | 抽象逻辑结构图 PASCAL语言 程序设计 有效性 平滑过渡 |
| 文章编号： | 1000-7024(2001)03-0024-04 |
A derivation approach from abstract logic structure diagramto PASCAL process blueprint |
| |
| LIU Jianbin,HAO Kegang. A derivation approach from abstract logic structure diagramto PASCAL process blueprint[J]. Computer Engineering and Design, 2001, 22(3): 24-27 |
| |
| Authors: | LIU Jianbin HAO Kegang |
| |
| Abstract: | |
| |
| Keywords: | abstract logic structure Diagram PASCAL Process blueprint programming Validity smooth transition |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
