首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   48篇
  国内免费   1篇
  完全免费   19篇
  自动化技术   68篇
  2010年   1篇
  2008年   3篇
  2007年   7篇
  2006年   5篇
  2005年   7篇
  2004年   6篇
  2003年   10篇
  2002年   10篇
  2001年   2篇
  2000年   1篇
  1999年   2篇
  1998年   3篇
  1997年   4篇
  1996年   3篇
  1995年   3篇
  1979年   1篇
排序方式: 共有68条查询结果,搜索用时 31 毫秒
1.
构件组装及其形式化推导研究   总被引:65,自引:0,他引:65       下载免费PDF全文
任洪敏  钱乐秋 《软件学报》2003,14(6):1066-1074
基于构件的软件工程(component based software engineering,简称CBSE)能够有效地提高软件开发的质量和效率.构件组装和组装推导(compositional reasoning)是CBSE的关键技术.基于软件构件的特点,借鉴进程代数中进程构造的方法,提出6种构件组装机制,能够灵活、简便地集成软件构件,并主张在构件组装的同时进行接口组装,通过生成功能更强、抽象级别更高的复合接口,提高构件组装的抽象级别和粒度.同时,基于Wright的形式化规约软件体系结构的研究,给出了复合构件和复合接口的组装推导算法,为系统行为的形式化分析、验证和仿真奠定了基础.  相似文献
2.
基于刻面描述的构件检索   总被引:47,自引:1,他引:46       下载免费PDF全文
随着软件复用实践的深入和软件构件库规模的扩大,对软件构件的表示与检索的研究正受到越来越多的重视.针对基于刻面描述的软件构件,结合模式分析中的树匹配思想,根据构件刻面描述的特点,提出了一种基于树包含(tree inclusion)的构件检索方法,并进行了理论上的分析与实验上的检验.实验结果证明了它的可行性与有效性.  相似文献
3.
刻面分类构件的匹配模型   总被引:33,自引:0,他引:33       下载免费PDF全文
随着软件复用实践的深入和软件构件库规模的扩大,对软件构件的表示与检索的研究正得到越来越多的重视.针对基于刻面描述的软件构件,结合模式分析中的树匹配思想,并根据构件刻面描述的特点,提出了一个包含3个层次,5种匹配类型的刻面匹配模型.给出了该匹配模型的泛型算法并对具化情况下的算法实现与时间复杂度进行了讨论.同时,通过理论和实践的结果证明了该匹配模型在构件检索上的可行性与有效性.  相似文献
4.
基于XML的软件构件查询匹配算法研究   总被引:32,自引:0,他引:32       下载免费PDF全文
在研究无序树包含匹配的基础上,提出一种新的基于XML的软件构件查询匹配算法.该算法可以在保持较高构件查准率的前提下,显著地提高构件的查全率,并提供对布尔查询的支持.此外,通过合理地设定约束条件以及利用动态规划的方法,将计算查询匹配代价的算法时间复杂度限定为多项式级,确保构件查询具有足够的查询效率.最后,通过在构件库原型系统RCRS上进行的一系列实验,进一步证明了新的查询匹配算法在软件构件查询实际应用中的可行性和有效性.  相似文献
5.
一个集成式的软件构件描述框架   总被引:17,自引:0,他引:17  
该文提出了一个可扩展、可裁减的集成式软件构件描述框架。该框架采用了相宜的方法对构件的接口、语义、问题空间等方面进行描述,并且通过XML提供了可扩展的机制。实践证明,在该框架基础上实现的构件库管理系统体现了较好的构件描述与检索能力。  相似文献
6.
基于扩展有限状态机测试中测试输入数据自动选取的研究   总被引:10,自引:0,他引:10  
张涌  钱乐秋  王渊峰 《计算机学报》2003,26(10):1295-1303
扩展有限状态机(EFSM)模型是有限状态机(FSM)模型的一个扩展,它在FSM模型的基础上增加了变量、操作以及状态迁移的前置条件,通过EFSM我们可以更加精确地刻画软件系统的动态行为.基于EFSM的测试可以应用到许多领域,因此具有重要的研究价值和实际意义.许多研究人员已经提出了基于FSM测试的测试输入序列的构造方法,但基于EFSM的测试与FSM相比由于变量和状态迁移的前置条件的引入,增加了构造其测试输入的复杂性.我们认为基于EFSM测试的测试输入应该包含两个部分:即测试输入序列以及该输入序列上包含的输入变量的确定值(测试输入数据).手工选取这些测试数据的工作十分繁琐,极大地增加了测试的花费,因此自动选取这些测试数据可以大大提高实际测试工作的效率.该文提出一种基于EFSM测试的测试数据自动选取方法,该方法利用两个关键的步骤:①区间削减和②分段梯度最优下降算法来自动选取测试数据.实验表明利用该方法可以自动选取大部分的测试数据,并且收敛速度较快;在某些无法得到确定解的情况下,区间削减也可以为测试人员提供一个较小的输入变量取值区间,方便了测试人员从中手工选择测试数据.  相似文献
7.
Semantic Web研究综述   总被引:9,自引:0,他引:9  
近年来,Semantic Web逐渐成为WWW领域的研究热点以及智能化网络服务和应用开发中的关键技术之一。归纳了Semantic Web技术的研究背景和主要发展历史。在分析了典型的Semantic Web概念后,给出了Semantic Web的定义。通过讨论Semantic Web构想的层次框架模型,指出了各个层次扮演的角色,并着重分析了Semantic Web的重要研究领域,指出了它们在Semantic Web构架中的核心作用。通过分析Semantic Web的应用领域和相关开发工具以及面临的问题和挑战,指明了Semantic Web研究和实践的方向。作为总结,给出了Semantic Web领域下一步的研究趋势。  相似文献
8.
基于J2EE体系的Web应用框架整合   总被引:8,自引:0,他引:8  
程洪  钱乐秋  马舜雄 《计算机工程》2005,31(20):96-98,120
在研究了大量流行的Web应用框架的基础上,提出了一种Web应用框架整合模型,即WAFC模型(Web AppLication Framewnrk Composition),该模型基于分层思想,结合设计模式方法,给出了一组约束,增加了域对象层、服务定位层和数据接口层,有效地解决了框架整合过程中出现的功能冗余、层间通信不便、耦合度太高等问题。该模型充分挖掘了各个框架的长处,使。它们以一种松散耦合方式结合,形成一个更高层次的应用框架。此外还结合了具体实例,分析和探讨了该模型的实例化过程。  相似文献
9.
基于Linux集群的Web服务的研究和构建   总被引:8,自引:1,他引:7  
集群是指将两台或更多的互连的计算机整合在一起,对外表现为一个统一的计算资源。它通常有三个特征:高性能、高可用性和可伸缩性。该文在深入研究集群技术后,根据用户构建高性能、高可用性实用Web服务的需求,提出了一个基于Linux集群的解决方案,并在增强其可管理性,可靠性方面进行了探讨,使其达到实际应用需求。  相似文献
10.
多权限信息系统授权机制的研究与实践   总被引:7,自引:1,他引:6  
本文针对信息系统中出现的权限管理问题,结合信息系统开发的实践经验,对多权限信息系统中的授权机制问题进行了深入浅出的研究。针对传统授权机制的缺陷,提出了动态授权机制和增强的授权机制,最后遵循软件复用的思想,利用软件构件技术开发了权限管理构件,并在实际的信息系统开发中成功地应用了该技术。  相似文献
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号