10.3969/j.issn.1000-7024.2001.03.007
抽象逻辑结构图导出PASCAL过程蓝图的方法
概念层抽象逻辑结构图是一种不依赖于程序实现语言的概念算法描述工具.文中给出概念抽象逻辑结构图到PASCAL过程蓝图的平滑过渡方法及概念结点到逻辑结点的映射规则,给出了抽象逻辑结构图程序表示的有效性定义,导出PASCAL抽象逻辑结构图的有效性定理及其证明.
抽象逻辑结构图、PASCAL过程蓝图、程序设计、有效性、平滑过渡
22
TP311.5(计算技术、计算机技术)
国家高技术研究发展计划863计划863-306-ZT02-04-01;国家自然科学基金60073050
2004-01-08(万方平台首次上网日期,不代表论文的发表时间)
共4页
24-27