使用规范匹配实现设计模式的自动获取

设计模式是设计级的软件重用 .由于缺乏比较成熟的设计模式规范描述和规范匹配方法 ,设计模式的获取和使用基本上是手工方式 ,依赖于用户自身的知识和经验 〔5〕.随着设计模式的不断开发 ,这一现状必将限制设计模式的应用 .本文提出了一种使用规范匹配进行设计模式自动获取的方法 ,该方法使用规范语言对设计模式的数据、结构、行为和功能进行形式化的描述 ,使用其功能规范的匹配来对设计模式进行获取 .这一方法为设计模式获取和使用的自动化提供了一种简单有效的途径     

时态逻辑形式化描述并发系统性质

时态逻辑是一种描述反应式(并发)系统中状态迁移序列的形式化方法，用于刻画并发系统所需验证的性质，是模型检测的基础．阐述了时态逻辑CTL及其子逻辑CTL、LTL的语法及语义，然后分析运用时态逻辑描述并发系统性质，最后给出一个应用实例。     

跨媒体组合方法研究

大数据时代以多媒体计算为基础的跨媒体计算技术已成为信息技术研究的热点。但是,对跨媒体的获取、组合和应用仍缺乏有效的方法。提出了两种跨媒体组合方法。以开发跨媒体在线二叉树遍历课程为例。第一种方法以Web服务的模式,引用多种类型多媒体数据,将其以服务组合的方式进行拼接,从而构成跨媒体服务。第二种方法是基于本实验室团队自主研发的PAR平台中的"New SQL"技术与Apla语言程序,使用PAR平台的多媒体数据库技术实现对跨媒体数据的存储和检索,进而构成Apla语言程序,实现部署在云端的多媒体服务,有效地解决了跨媒体的组合与存储问题。     

形式化方法在高中算法教学中的应用研究

国家教育部制定的高中新课程标准将算法初步作为高中数学课程的必修内容,算法与程序设计也首次纳入到选修课之列。全国大部分普通高中均按新课标开展教学实验,不少省份还把算法内容纳入高考。同时现有算法初步和算法与程序设计教材在介绍算法与算法设计方法时,无法说清楚算法设计的过程;在教学实践中,这一问题更加突出。这给高中生学习、理解及掌握算法和算法设计方法带来很大的困难。本文从新课程实验教材中及数学高考题中选取两个问题,用支持算法程序形式化开发的PAR（Partition And Recur）方法与PAR平台,从待求解问题的精确功能描述出发,经过一系列等价数学变换,最后得到正确的算法和程序。实践说明PAR方法与PAR平台可以在高中算法教学及学生能力评测中发挥建设性作用。     

基于XML的可适应性工作流系统研究

可适应性是工作流系统能否成功应用的重要因素。本文提出一个基于XNL的可适应性工作流系统模型,并从工作流流程定义、过程实例化、客户端界面开发等几个方面对该模型进行了探讨。     

形式化方法Designware、B的比较

用形式化方法开发软件是提高软件可靠性和开发效率的革命性途径。Designware、B是两种支持软件开发全过程的形式化方法。对它们的规约描述方法、规约求精方式、开发步骤进行比较,最后分析这两种方法各自的优缺点。     

算法程序变换研究与进展

开发算法程序是计算机科学领域中最具挑战性的问题之一。为了提高算法程序的可靠性和生产效率,人们正在追求其开发的自动化。算法程序变换是实现算法程序开发自动化的重要途径,已成为程序设计方法学和软件自动化领域中的重要课题,目前已取得很大进展。本文介绍了算法程序变换的相关概念,给出了算法程序变换的分类,并从方法学、语言、算法设计能力、支撑工具及其适用领域等方面分析和比较了几个有代表性的算法程序变换研究项目,讨论了当前研究的不足以及今后的研究方向。     

基于Smart Client的远程教学系统的研究

针对当前远程教学平台实际应用中存在的系统功能有限、性能低下等缺陷,探讨了.NET智能客户端技术的特点及其优越性,提出了基于智能客户端的远程教学系统的多层次模型设计方案,并对该模型实现的关键技术进行了探讨.智能客户端能够实现强大的用户界面,数据的安全访问,便捷的部署和升级,这些特性都是传统客户端无法比拟的.基于智能客户端的远程教学系统能够加快对用户请求的响应速度,降低服务器的处理负载,支持在线和离线两种工作状态,还可以实现集中部署和自动更新等功能.     

使用防卫式程序设计实现软件容错

软件避错是提高软件可靠性的主要方法之一,它包含程序检验,测试,正确性证明等技术,然而,随     

最小测试用例集生成方法改进及应用

软件测试是保证软件质量和可靠性的重要手段,如何对软件进行全面且高效的测试一直是备受关注的问题.分析了白盒测试与黑盒测试的优缺点;具体分析了最小测试用例生成算法,接着对生成最小测试用例集的方法提出改进:首先消除掉测试需求中存在的冗余,再对由该测试需求生成的测试用例集使用简化算法,得到一组无冗余的测试用例集.这种先对测试需求进行精简的方法,使得测试用例集中测试用例的数量大为减少,提高了简化算法的使用效率.将上述最小测试用例集生成方法运用到Apla到delphi生成器系统的测试中,提高了测试效率.