首页 | 本学科首页   官方微博 | 高级检索  
相似文献
 共查询到13条相似文献,搜索用时 62 毫秒
1.
抽象逻辑结构图到VFP过程蓝图的过渡与映射   总被引:2,自引:1,他引:1  
给出独立于程序实现语言的抽象逻辑结构图到VFP过程蓝图的平滑过渡方法及概念结点到逻辑结点的映射规则;给出了抽象逻辑结构图程序表示的有效性定义、导出VFP抽象逻辑结构图的有效性定理及其证明。  相似文献   

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

3.
本文给出VB过程蓝图逻辑结点到抽象逻辑结构图概念结点的逆向映射规则和双向映射规则的一种等价图形表示。在定义概念结点与逻辑结点之间双向映射的有效性概念基础上,进一步给出双向映射的有效性定理.本文的工作为VB逻辑程序编辑引起的概念程序一致性同步更新问题的解决奠定理论基础.  相似文献   

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

5.
本文给出独立于程序实现言的抽象逻辑结构图到VB过程蓝图的平滑过渡方法概念结点逻辑结点的映射规则,给出了抽象逻辑结构图程序表示的有效性定义,导出VB抽象逻辑结构图的有效性定理及其证明  相似文献   

6.
JAVA过程蓝图到抽象概念结构图的逆向映射与有效性   总被引:1,自引:0,他引:1  
刘建宾 《计算机科学》2002,29(6):143-146
1 引言抽象概念结构图是一种不依赖于程序实现语言的概念算法描述工具,是一种用于表示程序处理过程的抽象图形化表示方法。JAVA过程蓝图是与JAVA语言相关的一种程序图形表示方法,它支持JAVA程序的逻辑层和实现层表示。抽象概念结构图与JAVA过程蓝图的结合构成了JAVA程序在概念、逻辑和实现三个层次上的描述表现体系。程序设计是一个把思想变成现实,把模型变成代码的过程,是一个对设计表示进行不断修改,不断完善的动态过程。在抽象逻辑结  相似文献   

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

8.
本文在JACKSON结构图和抽象逻辑结构图的形式化定义基础上,给出了JACKSON结构图到抽象逻辑结构图的自动化和图形化转换方法。  相似文献   

9.
概念层抽象逻辑结构图是一种不依赖于程序实现语言的概念算法描述工具,文中给出概念抽象逻辑结构图到PASCAL过程蓝图的平滑过渡方法及概念结点到逻辑结点的映射规则,给出了抽象逻辑结构图程序表示的有效性定义,导出PASCAL抽象逻辑结构图的有效性定理及其证明。  相似文献   

10.
文章给出了与程序实现语言无关的概念层抽象逻辑结构图程序表示到C++过程蓝图的平滑过渡方法和映射规则,给出了概念层和逻辑层抽象逻辑结构图的有效性定义、导出C++逻辑层抽象逻辑结构图的有效性定理及其证明。  相似文献   

11.
VB过程蓝图   总被引:2,自引:0,他引:2  
VB过程蓝图是一种面向Visual Basic语言的程序处理逻辑图表化表示法。这种工程化表示法支持 逻辑和实现两个层次的程序抽象表示,是一种简单实用、容易理解、结构良好的程序设计工具。文中 给出VB过程蓝图的形式化模型,抽象逻辑结构图的图形表示方法,以及程序设计的基本过程。  相似文献   

12.
Visual FoxPro过程蓝科是一种面向Visual FoxPro语言的程序处理逻辑图表化表示法,这种工程化表示法支持逻辑和实现两个层次的程序抽象表示,是一种简单实用、容易理解、结构良好的程序设计工具,并给出Visual FoxPro过程蓝图的形式化模型和抽象逻辑结构图的图形表示方法。  相似文献   

13.
抽象概念结构图到JAVA过程蓝图的平滑过渡及一致性   总被引:5,自引:4,他引:1  
1 引言在软件开发生命周期中,开发过程被分为系统分析、系统设计、系统实现、测试与维护等阶段,软件开发人员首先从问题调查出发,使用需求分析工具将软件需求表示出来,其次通过总体设计、详细设计等设计活动寻求解决问题的方案,然后再使用计算机程序语言将软件设计方案最终转换成计算机上可以运行的实现  相似文献   

设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号