PAR平台相关论文
当前,Python语言在人工智能、数据挖掘、云计算等领域使用广泛,已成为计算机领域的研究热点。但随之而来的则是程序的复杂性增加,......
作为云计算和服务计算的结晶,云服务通过云计算方式（如SaaS或PaaS等）提供服务集成和价值增值功能,以满足用户多元化的业务需求。云服......
通过高速网络连接,各类计算资源互联构成了一个庞大的全球计算机系统。资源请求因资源以云服务形式分享而无处不在,这一转变正在改......
软件测试贯穿了软件工程全过程,是保证软件质量的重要手段。根据应用系统的不同,采用的测试方法也呈现多样性。目前,软件测试技术......
电力软件是一种特殊的软件,随着电力需求的不断增长,其技术改造和检修的投入越来越大。电力技改检修项目创造的社会效益是巨大的,......
形式化方法可以对系统进行严格的规约,并可以从不同的角度验证开发的系统是否具有所期望的性质,在高可信软件的开发中越来越受重视......
数据库系统的查询优化技术是提高数据库系统效率的重要技术。当前由江西师范大学省高性能重点实验室薛锦云教授团队研发的通用高可......
软件服务外包在我国迅猛发展，潜力巨大，但软件服务外包行业一直存在着软件可靠性差和开发效率低的问题。因此高效率地开发正确、可靠......
为了更好地解决软件危机这个至关重要的问题,提高实际软件开发的效率和可靠性,薛锦云教授在多个国家级课题的资助下提出了一种普遍......
当前,Python语言在人工智能、数据挖掘、云计算等领域使用广泛,已成为计算机领域的研究热点。但随之而来的则是程序的复杂性增加,......
在软件开发过程中,开发语言中的泛型机制能够显著提高软件开发的效率和软件可靠性,但现有高级语言中一般只有类型和子程序(如过程......
非线性数据结构递归问题非递归算法的循环不变式的开发一直是形式化开发的难点.研究二叉树类非递归算法的推导及形式化证明方法,对......
数据库系统的查询优化技术是提高数据库系统效率的重要技术。当今Java和C＋＋等主流程序设计语言依靠SQL语句，造成数据库系统中查询复杂......
软件外包中开发效率低、可靠性差的问题一直存在。PAR（Partition and Recur）方法及高可靠软件开发平台PAR平台，在提高软件开发效率和......
计算机科学最高奖图灵奖获得者Knuth指出,算法是计算机科学的核心。算法的设计和理解对开发高效、正确的软件至关重要。本文选取平......
针对算法走进高中课堂的现状,提出使用PAR作为高中学习算法开发的主要平台,通过PAR形式化推导实现多项式和素数两个经典数学问题,......
随着大数据、云计算和云服务等新技术的兴起,并发分布式计算作为这些新技术的基础,扮演着越来越重要的角色.在分布式计算中,数据的......
设计并实现了一个PAR方法的在线自学系统.利用Web服务（Web Service）和多媒体数据库技术,将使用PAR方法开发算法程序设计的基本概念、......
随着电子商务和金融软件应用日益广泛,提高这类软件系统的可靠性和安全性就显得特别重要。虽然能够提高这类软件可靠性的事务处理......
PAR平台是本团队研制成功的支撑软件形式化和自动化开发的软件平台。该平台充分体现了功能抽象和数据抽象的优越性,使得软件开发变......
多序列比对问题是生物信息学研究的重要部分,是解决物种进化关系、基因组序列分析等问题的基础。多序列比对算法具有很高的专用性,......
简要介绍PAR方法及其支撑平台，使用PAR方法及其平台从规约出发形式化推导并生成了两个典型的算法程序。PAR方法厦其平台使用一阶谓......
双序列比对算法是生物信息学中的一个关键算法,广泛应用于序列相似性分析以及基因组序列数据库搜索.现有研究主要针对特定应用问题......
测试用例的设计是软件测试中一个具有关键作用的工作,如何用较少的测试用例达到比较高的覆盖度,是需要解决的主要技术问题。本文结......
随着大数据、云计算时代的到来以及软件开发行业的高速发展,如何便捷地开发软件和如何高效地进行算法程序设计一直是计算机业的研......
如今数据库技术应用的领域已经渗透到各行各业,信息社会又充斥着大量非结构化数据,比如图像、音频等多媒体数据。而且传统的关系数......
随着云计算和大数据时代的来临,用户对软件需求的多样性要求越来越高,但是,现有软件开发方法存在效率低下、算法设计中缺乏正确性......
虚拟现实技术是一门综合性技术,涉及计算机图形学、多媒体技术、人机交互和人工智能等多个领域,在教育、医疗、娱乐、军事等众多领......
