面向对象应用程序的用户界面框架

面向对象应用程序的用户界面框架，是一个结合面向对象和图形用户界面的优点和类属用户界面。用户界面开发者只要提供分类的操作集合对之加以参数化，就能得到适合不同应用需要的用户界面。对用户界面使用者来说，这种用户界面具有图形用户界面的外观特征和面向对象的使用特点，所见即所得的直观性和超文本的导航性使它易学易用。本文介绍了这个用户界面框架的外观特征和使用特点，并且用对象模型化方法提供了它的分析模型。     

指针数组的过程内别名分析

指针别名分析在C语言的并行优化中占有重要的地位,但已有的指针别名分析只能处理指针标量的情况.文章在介绍已有指针别名信息表示法的不足的基础上,提出了一种能够表示指针数组别名信息的表示方法,它可以更加准确地表示指针别名信息.在此表示法的基础上,提出了指针数组的过程内别名分析算法.此算法完全包含了指针标量的别名分析,对现有的指针别名分析算法所不能解决的一些问题能进行有效地处理.     

OODB的支撑技术—持久程序设计语言（O＋＋和E的探讨）

持久程序设计语言是实现当前很有发展前途的面向对象数据库的一种支撑技术。这种技术是通过面向对象程序设计语言的扩充，使之具有持久存储的设施，从而能够用来构造出关系数据库中任意复杂的持久的数据结构。本文主要介绍了Ｏ＋＋和Ｅ这两种具有代表性的持久程序设计语言，并描述了如何解决在实现面向对象数据库过程中所遇到的诸如隐蔽指针、持久性和数据类型的无关性等几种困难问题。文章还比较了这两种语言的优缺点，希望能对面向     

MetaCASE技术及其评价

ＭｅｔａＣＡＳＥ技术是通过ｍｅａｔＣＡＳＥ工具生成ＣＡＳＥ工具，形成支持软件开发方法的工具集的技术。Ｔｏｏ１Ｂｕｉｌｄｅｒ技术是国外最新的ｍｅｔａＣＡＳＥ技术之一。本文通过介绍ｍｅｔａＣＡＳＥ技术的原理和Ｔｏｏ１Ｂｕｉｌｄｅｒ技术的实现，评价其优缺点及对国内ＣＡＳＥ领域的研究开发的现实意义。     

小模型大数据:一种分析软件行为的代数方法

采用问题框架方法分析软件需求通过借助领域知识及其之间的结构关系,论述用户的需求是可以被软件系统满足的.这类定性的可满足性论述支持早期需求决策,选择合理的软件体系结构和设计方案.但是,当前的移动软件需求方是偏好各异的用户个体,需求差异化明显,而且根据应用场景这些需求发生动态变化.在这种情况下,现有的定性分析方法不再适用.大数据分析提供一种数据驱动的深度学习机制,为很多实践者采用.但依靠数据驱动的软件分析往往就事论事,仍然不能从根本上提供一个合理的论述来说明大量软件用户的需求到底是什么,也无法对可信软件的安全和私密性提供可靠的论证.再多的数据也只能提供统计意义的表象,而无法彻底防范别有用心的漏洞利用.本文尝试从提炼软件抽象目标行为的角度进一步深化问题框架的研究思路,针对各类个体行为建立概率模型,提出一种基于模型代数分析的方法,以避开纯粹数据驱动思路的大数据分析盲点.通过对安全和隐私性问题的分析,对所提出的方法可用性及局限性进行探讨,对未来大数据软件需求研究给予一定的启示.     

自动寻找使多重串行循环并行化的幺模变换

对于已知n维距离向量矩阵的多重串行循环,过去的并行化编译研究还缺乏寻找使循环外层并行化的幺模矩阵的可行算法.文章介绍了多重串行循环并行化的幺模变换方法,不仅从理论上证明满足外层并行化要求的合法幺模矩阵是存在的,而且通过构造性证明给出一个计算外层并行化幺模变换矩阵的可行算法,并探讨了扩大其适用范围于非完全嵌套和非常数相关距离循环的有效途径.     

带约束的Eiffel:一种约束引导的强类型面向对象语言

强类型的面向对象语言很适合软件工程的需要。本文通过在强类型的面向对象程序设计中引入约束引导的重计值来实现对这类语言中对象全面特性的规格说明。本文提出的带约束的Eiffel语言结合了Eiffel语言强类型和继承机制与TbingLab Ⅱ的约束引导系统,并且对两者都有改进,因而有益于软件的规格说明和开发。     

同归约变换结合的自动单模变换技术

针对应用自动单模变换的两大困难：如何自动找出使多重循环并行化的恰当的单模变换矩阵以及如何解决妨碍单模矩阵计算的非常数归约相关距离,提出了如何对给定常数距离矩阵,自动找出使循环并行化的恰当的单模变换矩阵的技术;然后提出将数组归约相关表示为最小常数距离向量,从而使存在归约相关的多重循环也能够应用自动单模变换技术,为自动单模变换技术走向实用化提供了理论依据．     

同归约束换结合的自动单模变换技术

针对应用自动单模变换的两大困难,如何自动 使多重不并行化的恰当的单模变换矩阵以及如何解决防碍模国计算的非常数归约相关距离,提出了如何对给定常数距离矩阵,自动找出使循环并行化的恰当的单模变换矩阵的技术,然后提出将组归约相关表示为最小常数距离向量,从而使存在归约相关的多重量重循环也能够应用自动单模变换技术,为自动单模变换技术走向实用化提供了理论依据。     

JavaPIE：在Internet上延伸并行编程交互环境研究

ＪａｖａＰＩＥ是并行程序设计交互环境在Ｉｎｔｅｒｎｅｔ上的延伸,其设计目标是并行程序设计交互环境Ｐａｒａ－ＰＩＥ和自动并行化编译工程ＡＦＰ的底层支持,通过Ｊａｖａ实现的交互工具达到更理想的移植性、开放性和及共享性。它将并行化编译方法、程序语义分析技术、交互信息可视化工具、实验分析脚本文档有机地结合在一起,并在Ｉｎｔｅｒｎｅｔ上延伸出来,为蓬勃地开展并行程序设计交互环境的国际化合作研究开辟了广阔的前