首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   42篇
  国内免费   2篇
  完全免费   50篇
  自动化技术   94篇
  2015年   2篇
  2014年   3篇
  2013年   1篇
  2012年   3篇
  2011年   7篇
  2010年   7篇
  2009年   5篇
  2008年   11篇
  2007年   9篇
  2006年   10篇
  2005年   4篇
  2004年   8篇
  2003年   1篇
  2002年   5篇
  2001年   1篇
  2000年   3篇
  1999年   2篇
  1998年   2篇
  1997年   1篇
  1995年   1篇
  1993年   2篇
  1992年   1篇
  1991年   1篇
  1990年   1篇
  1989年   2篇
  1987年   1篇
排序方式: 共有94条查询结果,搜索用时 31 毫秒
1.
智能服务--Web服务和语义Web集成研究   总被引:10,自引:0,他引:10  
现有Web主要是为人使用Web上的内容设计,如何自动发现、执行、组合及互操作Web上的信息,提供智能暇务,是Web服务努力的方向,Web服务虽然也制定了发现、描述、信息交换的标准,但这些标准不支持智能暇务、其原因是现有Web服务缺乏清楚的语义标记,该文提出将语义Web技术和Web服务结合来实现智能服务的思想.即为Web服务增加语义标记以实现Web服务的智能性,并就其可行性进行了阐述,最后给出了具体实现的方法。  相似文献
2.
模型驱动架构中模型构造与集成策略   总被引:9,自引:0,他引:9       下载免费PDF全文
刘静  何积丰  缪淮扣 《软件学报》2006,17(6):1411-1422
模型驱动式开发是以模型构造、模型转换和精化为核心的.对象管理组织OMG选择将统一建模语言UML作为标准建模语言,并将其作为模型驱动架构MDA的支持平台.但UML模型缺乏严格的语义,不同视角和不同开发阶段的模型很难集成,所以目前MDA中各种模型之间是脱节的.基于统一程序设计理论UTP,将对象精化演算系统rCOS与UML结合起来,提高了UML模型的精确性与模型转换能力.建立模型驱动式开发中不同层次、不同视角的相关模型并将它们集成起来,建立了一个统一的模型系统.  相似文献
3.
对逻辑覆盖软件测试准则的公理化评估   总被引:8,自引:1,他引:7       下载免费PDF全文
刘玲  缪淮扣 《软件学报》2004,15(9):1301-1310
由于形式规格说明采用一种精确、一致、容易被机器自动处理的符号系统来描述软件需求,因而形式规格说明为测试用例的自动生成和软件功能的验证提供了基础.在基于形式规格说明的测试过程中逻辑覆盖测试准则是一组常用的测试准则,如何选择和使用其中的每个测试准则是应用这组测试准则时面临的主要问题.因此分析和比较这组测试准则中每个测试准则的性质将为测试工程师选择测试准则提供指导和帮助.对测试充分性准则的公理化评估是一种比较测试准则的方式,这种方式将对理想的测试准则的直觉需求定义为一组公理,然后通过检查测试准则是否满足该组公理来分析和比较相应的测试准则.描述了一组理想的逻辑覆盖测试准则应该具有的性质和用来确定一个测试充分性准则是否完全的生成算法.这组性质被形式化地定义为一组公理.利用这种形式化的定义,用定理的形式精确地给出了这些性质之间的关系.最后通过这组公理系统来评估现有的逻辑覆盖测试准则.评估的结果为测试人员在实际过程中选择逻辑覆盖测试准则提供了指导.  相似文献
4.
Z规格说明的前置条件的简化   总被引:6,自引:0,他引:6       下载免费PDF全文
缪淮扣 《软件学报》1997,8(9):709-715
在软件方法学中,形式方法越来越受到人们的重视,并已被应用于软件开发.Z是一种基于数学表示的软件规格说明方法.前置条件的简化是Z规格说明方法中一种标准的检查,本文讨论了Z规格说明中关于操作的前置条件及其计算.提出了简化过程的终止条件,给出了一个用于简化前置条件的算法,该算法可自动产生简化过程的证据.  相似文献
5.
基于图的Web服务组合优化的研究   总被引:6,自引:0,他引:6       下载免费PDF全文
单个Web服务难以满足实际应用的需求,如何组合已有的服务,形成新的服务,已成为此领域的研究热点。现在的组合方法极少考虑服务质量QoS(Quality of Service)。对于一些提供相似功能的Web服务,服务质量是判断是否选择此服务的关键因素,组合服务的质量必须满足用户的需求。本文基于SOA的服务开发思想,针对当前服务组合存在的问题,提出了一种基于QoS的服务组合方法,并给出了构建基于QoS的Web服务组合及选择最佳服务的策略,通过整合单个服务的质量以得到最终组合服务的整体最佳质量。在满足用户组合服务的功能需求的同时,也满足了用户对服务质量QoS的需求,实现了需求服务的优化。  相似文献
6.
基于UML状态图测试的充分性准则   总被引:5,自引:0,他引:5       下载免费PDF全文
本文描述了基于UML状态图生成测试用例的充分性准则。在测试时,循环被执行一次是很不充分的,本文提出了使循环分别执行0次、1次、2次,即ZOT循环覆盖准则,在此基础上本文还提出了全ZOT路径覆盖准则,并给出了这些覆盖准则的应用,讨论了这些覆盖准则之间的包含关系。  相似文献
7.
基于形式规格说明的构件匹配   总被引:4,自引:0,他引:4  
构件匹配依靠精确描述构件的语义,而形式规格说明基于严格的数学概念和理论。将两者结合起来,首先利用Z语言描述属性、方法和构件的类型,并在此基础上,通过一个例子,给出了各种匹配机制的公理描述。最后,介绍了构件匹配的一个重要应用——构件检索。  相似文献
8.
一个基于Web技术的网络银行系统的B方法设计与实现   总被引:4,自引:2,他引:2  
李莉  缪淮扣 《计算机工程》2001,27(10):65-66,121
B方法作为少数几种具有较强商业化工具支持的形式化方法之一,支持规格说明到代码生成的全部开发周期。文章将B方法应用于网络银行系统模型开发。此方法提供了系统的需求和可执行代码之间的中间过程。整个开发过程中的规格说明书写以及细化都使用Atelier B。  相似文献
9.
基于UML Statecharts的测试用例生成   总被引:4,自引:0,他引:4  
直接从含有层次和并发结构的UML statecharts图产生类的测试用例是比较困难的,提出了一种从UML statecharts图产生测试用例的方法:先把UML statecharts图转换成FREE(Flattened Regular Expression)模型图,再以FREE模型图为基础生成类的测试用例,同时,提出了FREE模型的测试覆盖准则,并提出了由FREE模型产生有限的迁移序列的算法。  相似文献
10.
用JAVA实现P2P网络模型   总被引:3,自引:0,他引:3  
P2P网络模型弥补了传统的服务器模式所导致的通信效率低下,中心服务器成为整个系统的瓶颈。简单介绍了P2P技术以及在TCP/IP网络协议下的网络模型和通信协议。给出了用Java语言实现P2P网络模型的方法和技术。  相似文献
设为首页 | 免责声明 | 关于勤云 | 加入收藏

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