首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   31篇
  完全免费   54篇
  自动化技术   85篇
  2015年   1篇
  2013年   1篇
  2012年   2篇
  2011年   6篇
  2010年   3篇
  2009年   3篇
  2008年   9篇
  2007年   3篇
  2006年   15篇
  2005年   5篇
  2004年   2篇
  2003年   6篇
  2002年   4篇
  2001年   5篇
  2000年   5篇
  1999年   1篇
  1998年   1篇
  1997年   4篇
  1996年   1篇
  1994年   2篇
  1993年   1篇
  1989年   1篇
  1988年   1篇
  1984年   1篇
  1982年   1篇
  1981年   1篇
排序方式: 共有85条查询结果,搜索用时 46 毫秒
1.
UML Statecharts的模型检验方法   总被引:23,自引:2,他引:21       下载免费PDF全文
董威  王戟  齐治昌 《软件学报》2003,14(4):750-756
统一建模语言UML已广泛应用于软件开发中,验证UML模型是否满足某些关键性质成为一个重要问题.提出了对UML Statecharts进行模型检验的方法.首先用扩展层次自动机结构化地表示UML Statecharts,然后给出其操作语义,通过寻找最大无冲突迁移集可以保证语义的正确性.对于具有无穷运行的系统,该操作语义可以映射到一个Büchi自动机.使用基于自动机理论的模型检验方法来验证UML Statecharts的线性时态逻辑性质,并给出方法验证由Statecharts和协同图建模的复杂多对象系统.  相似文献
2.
UML statecharts的测试用例生成方法   总被引:21,自引:0,他引:21  
测试用例生成是软件测试的关键。根据UML statecharts的层次和并发结构,研究相应的测试用例产生方法。它视复合状态为抽象状态,分别构造主UML statecharts和复合状态所对应的子UML statecharts的测试基,并依据一定的合成规则和Wp-方法生成整个UML statecharts的测试用例。这种方法能够支持递增式测试用例的生成。理论和实验结果说明,如果满足测试条件,它们保证全故障覆盖,且产生较好的测试用例。这种改进对大型复杂系统尤其有效,也便于构造自动测试工具。  相似文献
3.
建立INTERNET上的安全环境   总被引:15,自引:0,他引:15       下载免费PDF全文
最近几年 INTERNET飞速发展,为用户提供方便的远程计算、资源共享和电子数据传输等服务,促进了社会发展。然而,INTERNET尚存在着一个致命缺点:缺乏安全性。在激烈竟争的壮会中,用户面对着INTERNET拥有的巨大财富,既爱又怕,  相似文献
4.
UML Statechart图的操作语义   总被引:14,自引:0,他引:14       下载免费PDF全文
李留英  王戟  齐治昌 《软件学报》2001,12(12):1864-1873
面向对象标准建模语言UML(unified modeling language)缺乏精确的动态语义.根据UML1.1语义文档,提出描述对象状态机的UML Statechart图的形式化操作语义.该语义覆盖了UML Statechart图的绝大部分特征,为UML Statechart图的代码产生、模拟和测试用例生成奠定了基础.根据上述语义,基于Rose98完成了UML Statechart图的测试用例生成和测试过程的模拟.  相似文献
5.
软件重用研究与应用   总被引:12,自引:0,他引:12       下载免费PDF全文
一、技术问题研究 九十年代,软件重用的潜力日益为人们所接受。软件重用的研究方向发生了根本性变化,人们不仅研究技术问题,而且开始研究非技术问题,如管理问题,资金问等等。 软件重用的研究状况如图1所示。 技术问题是软件重用研究的基础和核心,它涉及域分析和领域工程,软部件工程以及软部件可重用性等方面的研究。 1.领域分析和领域工(DA&DE) 领域分析(DA)是在软件开发过程中对应用领域信息进行收集、抽象和组织,识别和造出各种可重  相似文献
6.
面向服务软件体系结构的接口模型   总被引:10,自引:1,他引:9       下载免费PDF全文
陈振邦  王戟  董威  齐治昌 《软件学报》2006,17(6):1459-1469
服务接口描述是面向服务软件体系结构描述的关键问题之一,形式化描述方法是保证服务接口描述准确性的重要手段.目前的接口模型并不支持事务信息的描述.通过对已有Web服务接口模型进行扩展,提出了通过错误处理和补偿支持事务信息描述的接口模型,能够分别在特征层、会话层和协议层3个层面对服务的接口进行描述,然后提出了服务接口在3个层面的相容性和可替换性条件,并针对会话接口和协议接口提出了接口规约及其验证方法.该接口模型不仅能够支持准确的事务信息描述,而且还支持灵活、有效的接口规约验证.  相似文献
7.
基于多Agent系统的软件开发方法研究   总被引:7,自引:0,他引:7       下载免费PDF全文
面向Agent的软件工程近年来获得很多人的关注,其中MAS是一个重要的研究方向。到目前为止,已经出现了20多种MAS开发方法。本文对现有的主要方法进行了分类和总结,并利用三层次模型对常用的三类方法进行了比较,希望对读者有一定的借鉴作用。  相似文献
8.
基于角色的多Agent系统软件设计方法   总被引:6,自引:0,他引:6  
角色是面向agent软件开发方法研究中的一个重要抽象概念。论文认为角色是连接多agent系统微观模型与宏观模型的桥梁,角色与agent之间的动态性有利于刻画多agent系统的结构和行为模型。论文研究角色和agent之间的动态绑定思想和机制,讨论基于角色的多agent建模方法RoMAS,并以RoboCup仿真比赛为案例验证该方法的有效性。  相似文献
9.
面向Agent的软件开发方法及其评估   总被引:6,自引:0,他引:6  
本文根据技术背景的差异 ,对已有面向Agent的软件开发方法进行了系统的分类 ,介绍了当前较有影响的一组代表性工作 ,分析和评估了各种方法的技术特点、适用范围及其存在的问题 ,概述了已有工具对面向Agent软件开发方法的支持 ;在参考国际上比较关注的面向Agent软件开发方法特性的基础上 ,提出了面向Agent软件开发方法的评估方法 ,对今后研究亟待解决的关键问题作了展望  相似文献
10.
并发和实时系统的模型检验技术   总被引:5,自引:1,他引:4  
模型检验是一种重要的自动验证技术,通过显式状态搜索或隐式不动点计算来验证并发或实时系统的模态/命题性质,以保证通信协议、数字电路等设计的正确性。详细阐述了模型检验技术的发展与研究现状。首先描述了并发系统分别基于自动机理论和符号化的两种主要模型检验策略,并给出解决状态爆炸问题的主要方法;然后介绍了针对实时系统以及面向对象设计的模型检验方法;对每种方法都介绍了相应的典型工具,最后分析了模型检验面临的困难以及今后的发展趋势。  相似文献
设为首页 | 免责声明 | 关于勤云 | 加入收藏

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