导读:本文包含了抽象逻辑结构图论文开题报告文献综述、选题提纲参考文献及外文文献翻译，主要关键词:结构图,抽象,逻辑,程序设计,蓝图,过程,有效性。
抽象逻辑结构图论文文献综述
刘建宾[1]（2003）在《VB过程蓝图到抽象逻辑结构图的逆向映射规则及其双向映射有效性》一文中研究指出本文给出 VB过程蓝图逻辑结点到抽象逻辑结构图概念结点的逆向映射规则和双向映射规则的一种等价图形表示 .在定义概念结点与逻辑结点之间双向映射的有效性概念基础上 ,进一步给出双向映射的有效性定理 .本文的工作为 VB逻辑程序编辑引起的概念程序一致性同步更新问题的解决奠定理论基础(本文来源于《小型微型计算机系统》期刊2003年07期）
郭伟斌,刘建宾[2]（2002）在《VFP过程蓝图到抽象逻辑结构图的逆向映射规则与同步更新方法》一文中研究指出当对导出VFP抽象逻辑结构图逻辑层表示进行编辑操作时 ,必须解决抽象逻辑结构图概念层表示的一致性同步更新问题。给出VFP逻辑结点到概念结点的逆向映射规则及其一致性同步更新方法。(本文来源于《计算机应用研究》期刊2002年07期）
刘建宾,郝克刚[3]（2002）在《抽象逻辑结构图到VB过程蓝图的导出与映射》一文中研究指出本文给出独立于程序实现语言的抽象逻辑结构图到 VB过程蓝图的平滑过渡方法及概念结点到逻辑结点的映射规则 ,给出了抽象逻辑结构图程序表示的有效性定义、导出 VB抽象逻辑结构图的有效性定理及其证明 .(本文来源于《小型微型计算机系统》期刊2002年07期）
刘建宾,李小英[4]（2002）在《PASCAL过程蓝图到抽象逻辑结构图的逆向映射》一文中研究指出给出PASCAL过程蓝图逻辑结点到抽象逻辑结构图概念结点的逆向映射规则，并通过构造与双向映射规则集表示等价的双向映射关系图,揭示了两个映射规则集之间的关系和特性。在定义概念层表示与PASCAL逻辑层表示之间双向映射函数的有效性概念基础上，进一步给出双向映射函数的有效性定理。(本文来源于《计算机工程与设计》期刊2002年03期）
刘建宾[5]（2002）在《抽象逻辑结构图C++逻辑程序到概念程序的逆向映射》一文中研究指出文章给出C++过程蓝图逻辑程序表示到抽象逻辑结构图概念程序表示的逆向映射规则。在定义概念结点与C++逻辑结点之间双向映射函数的有效性概念基础上,进一步给出双向映射函数的有效性定理及其证明。(本文来源于《计算机工程与应用》期刊2002年02期）
刘建宾,郝克刚[6]（2001）在《抽象逻辑结构图到VFP过程蓝图的过渡与映射》一文中研究指出给出独立于程序实现语言的抽象逻辑结构图到VFP过程蓝图的平滑过渡方法及概念结点到逻辑结点的映射规则 ;给出了抽象逻辑结构图程序表示的有效性定义、导出VFP抽象逻辑结构图的有效性定理及其证明(本文来源于《计算机应用研究》期刊2001年11期）
刘建宾,郝克刚[7]（2001）在《抽象逻辑结构图导出PASCAL过程蓝图的方法》一文中研究指出概念层抽象逻辑结构图是一种不依赖于程序实现语言的概念算法描述工具。文中给出概念抽象逻辑结构图到ＰＡＳＣＡＬ过程蓝图的平滑过渡方法及概念结点到逻辑结点的映射规则，给出了抽象逻辑结构图程序表示的有效性定义，导出ＰＡＳＣＡＬ抽象逻辑结构图的有效性定理及其证明。(本文来源于《计算机工程与设计》期刊2001年03期）
刘建宾,龚世生[8]（1996）在《抽象逻辑结构图及其应用》一文中研究指出图形化技术作为人们清晰思维的语言和良好的通讯交流工具,在软件开发中一直发挥着重要作用,是软件表现技术的重要形式之一.迄今为止,已经出现了各种各样的程序图形(本文来源于《计算机科学》期刊1996年06期）
刘建宾[9]（1996）在《一个结构良好的规格说明工具：抽象逻辑结构图》一文中研究指出提出一种新的图形化规格说明工具一抽象逻辑结构图ＡＬＳＤ，给出了它的形式化定义和图形表示方法。抽象逻辑结构图是一种图形和正文相结合的简单树形图式，它可以用于加工逻辑、数据结构、判定树等的描述与表示。(本文来源于《计算机工程与设计》期刊1996年02期）
刘建宾[10]（1996）在《JACKSON结构图到抽象逻辑结构图的转换》一文中研究指出本文在ＪＡＣＫＳＯＮ结构图和抽象逻辑结构图的形式化定义基础上，给出了ＪＡＣＫＳＯＮ结构图到抽象逻辑结构图的自动化和图形化转换方法。(本文来源于《小型微型计算机系统》期刊1996年04期）
抽象逻辑结构图论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
当对导出VFP抽象逻辑结构图逻辑层表示进行编辑操作时 ,必须解决抽象逻辑结构图概念层表示的一致性同步更新问题。给出VFP逻辑结点到概念结点的逆向映射规则及其一致性同步更新方法。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
抽象逻辑结构图论文参考文献
[1].刘建宾.VB过程蓝图到抽象逻辑结构图的逆向映射规则及其双向映射有效性[J].小型微型计算机系统.2003
[2].郭伟斌,刘建宾.VFP过程蓝图到抽象逻辑结构图的逆向映射规则与同步更新方法[J].计算机应用研究.2002
[3].刘建宾,郝克刚.抽象逻辑结构图到VB过程蓝图的导出与映射[J].小型微型计算机系统.2002
[4].刘建宾,李小英.PASCAL过程蓝图到抽象逻辑结构图的逆向映射[J].计算机工程与设计.2002
[5].刘建宾.抽象逻辑结构图C++逻辑程序到概念程序的逆向映射[J].计算机工程与应用.2002
[6].刘建宾,郝克刚.抽象逻辑结构图到VFP过程蓝图的过渡与映射[J].计算机应用研究.2001
[7].刘建宾,郝克刚.抽象逻辑结构图导出PASCAL过程蓝图的方法[J].计算机工程与设计.2001
[8].刘建宾,龚世生.抽象逻辑结构图及其应用[J].计算机科学.1996
[9].刘建宾.一个结构良好的规格说明工具：抽象逻辑结构图[J].计算机工程与设计.1996
[10].刘建宾.JACKSON结构图到抽象逻辑结构图的转换[J].小型微型计算机系统.1996
论文知识图
