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

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

抽象逻辑结构图到VFP过程蓝图的过渡与映射

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

抽象逻辑结构图导出PASCAL过程蓝图的方法

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

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

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

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

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

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

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

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

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

VFP过程蓝图到抽象逻辑结构图的逆向映射规则与同步更新方法

当对导出VFP抽象逻辑结构图逻辑层表示进行编辑操作时，解决解决抽象逻辑结构图概念层表示的一致性同步更新问题。给了VFP逻辑结点到概念结点的逆向映射规则及其一致性同步更新方法。     

JACKSON结构图到抽象逻辑结构图的转换

本文在ＪＡＣＫＳＯＮ结构图和抽象逻辑结构图的形式化定义基础上，给出了ＪＡＣＫＳＯＮ结构图到抽象逻辑结构图的自动化和图形化转换方法。     

VB过程蓝图

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

基于KM教学法的软件工程教学研究

知识的逻辑结构描述了知识的体系结构及知识之间的内在联系,思维导图是直观的知识组织与表征工具。KM教学法是将知识的逻辑结构与思维导图相结合,通过将知识逻辑结构化,经过分类和分层组织,再经过抽点、连线、成网、扩展、概型等逻辑加工,得到反应知识本质的逻辑结构图与思维导图。本文以"软件工程"为例,探讨应用KM教学法的要点。     

立体化教学模式下《VB程序设计》互动教学平台的开发

Visual Basic程序设计是一门逻辑性较强、概念较多、结构相对复杂的课程,对于大学本科非计算机专业的学生来说还是比较难学的。开发了一种立体化教学模式下VB程序设计课程互动教学平台,平台以培养学生全面综合掌握VB知识为目标,丰富了课程内容的相关视频、教学课件、课后习题、程序示例代码和课程实践成果。     

面向对象的可编程控制器程序设计方法

通过总结目前普遍使用的组合逻辑函数法、功能转移图法，Petri网分析法等可编程控制器程序设计方法，提出了一种面向对象的可编程控制器程序设计方法，依照面向对象技术的思想，详细阐述了在可编程控制器程序设计中如何构造底层的基本控制对象类及其高层的对象模型封装类，给出了外部信号的定义并且例举了对象模型同外部信号的交互情况，最后再深入分析面向对象方法的优良性能。