抽象逻辑结构图到VB过程蓝图的导出与映射

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

PASCAL过程蓝图到抽象逻辑结构图的逆向映射

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

JAVA过程蓝图到抽象概念结构图的逆向映射与有效性

1 引言抽象概念结构图是一种不依赖于程序实现语言的概念算法描述工具,是一种用于表示程序处理过程的抽象图形化表示方法。JAVA过程蓝图是与JAVA语言相关的一种程序图形表示方法,它支持JAVA程序的逻辑层和实现层表示。抽象概念结构图与JAVA过程蓝图的结合构成了JAVA程序在概念、逻辑和实现三个层次上的描述表现体系。程序设计是一个把思想变成现实,把模型变成代码的过程,是一个对设计表示进行不断修改,不断完善的动态过程。在抽象逻辑结     

基于程序蓝图的软件再工程模型化研究

针对传统再工程为遗留系统建模过程中,所采用模型表现出的片面性及模型之间的不一致性,提出了一种基于过程蓝图和类图的再工程高层抽象模型——程序蓝图。利用模型驱动的方法,给出了程序蓝图模型的形式化定义,提出了一种基于程序蓝图模型的再工程过程架构,详细规划了该过程中的活动、任务、制品以及工作流。应用实践初步表明,该模型能有效全面表现系统特征,保持了再工程过程中模型变换的一致性。     

从概念程序表示到C++过程蓝图的映射

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

一种重复代码检测技术的改进研究

针对Kontogiannis重复代码度量方法不能区分IF条件语句与循环语句的控制流复杂性,且未对两个比较函数的返回类型进行判断时而产生错误匹配的问题,通过引入两个新的度量变量对其进行改进,结果表明,改进的度量公式能提高重复代码检测的准确性并减少匹配错误,为自动重构定位提供更有效的技术.     

VB过程蓝图

ＶＢ过程蓝图是一种面向Ｖｉｓｕａｌ　Ｂａｓｉｃ语言的程序处理逻辑图表化表示法。这种工程化表示法支持 逻辑和实现两个层次的程序抽象表示,是一种简单实用、容易理解、结构良好的程序设计工具。文中 给出ＶＢ过程蓝图的形式化模型,抽象逻辑结构图的图形表示方法,以及程序设计的基本过程。     

VB过程蓝图到抽象逻辑结构图的逆向映射规则及其双向映射有效性

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

如何利用Delphi技术实现BMP图像转换为JPEG图像

JPEG和BMP图像格式目前在计算机图像中应用非常广泛。JPEG图像格式具有占用存储器空间小、非常适宜保存和传输的优点。BMP图像格式属于位图格式，用户在绝大部分汁算机软件操作系统中不需要通过特殊的图像浏览软件就可以对其直接浏览，具有兼容性高的特点，很多图像产牛器都采用这种图像格式。但由于BMP图像格式缺点是占用存储器的空间大，不方便携带和传输，因此不少场合需要把BMP图像转换成JPEG图像。