抽象逻辑结构图C++逻辑程序到概念程序的逆向映射

摘要：

文章给出C++过程蓝图逻辑程序表示到抽象逻辑结构图概念程序表示的逆向映射规则.在定义概念结点与C++逻辑结点之间双向映射函数的有效性概念基础上,进一步给出双向映射函数的有效性定理及其证明.

关键词：C++过程蓝图、抽象逻辑结构图、有效性、程序设计

所属期刊栏目：38

分类号：TP311.11(计算技术、计算机技术)

资助基金：国家高技术研究发展计划863计划863-306-ZT02-04-01;国家"211"工程建设项目

在线出版日期：2004-01-08（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：73-75