首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   224篇
  国内免费   23篇
  完全免费   84篇
  自动化技术   331篇
  2017年   1篇
  2016年   1篇
  2015年   2篇
  2014年   2篇
  2013年   10篇
  2012年   12篇
  2011年   21篇
  2010年   31篇
  2009年   28篇
  2008年   32篇
  2007年   40篇
  2006年   29篇
  2005年   22篇
  2004年   35篇
  2003年   29篇
  2002年   22篇
  2001年   10篇
  2000年   3篇
  1998年   1篇
排序方式: 共有331条查询结果,搜索用时 31 毫秒
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及其建模实例   总被引:22,自引:0,他引:22  
以统一建模语言(Unified Modeling Language,UML)的九种图为重点,简要介绍了UML的基本概念、历史、内容及其应用;并通过对一个超级市场销售管理系统的实际建模,简要演示了应用UML建模的思路。  相似文献
3.
软件体系结构的描述方法研究   总被引:17,自引:0,他引:17  
目前关于软件体系结构的描述已有许多工具支持,但各种工具不仅是领域相关的,而且描述方法也不尽统一,这使设计人员很难选择一种合适的工具,将体系结构的共同特征提取出来,秦为体系结构描述的核心模型,为各种工具提供了共同的基础-若要用某一种工具描述,只需增加与之相关的约束,另一方面将软件体系结构与当前主流的面向对象方法相结合,利用统一建模语言UML的扩充机制,从多个视图描述了软件体系结构,最后结合研究工作给  相似文献
4.
基于UML的软件Markov链使用模型构造研究   总被引:16,自引:0,他引:16       下载免费PDF全文
颜炯  王戟  陈火旺 《软件学报》2005,16(8):1386-1394
软件统计测试要求基于软件使用模型产生测试例对软件系统进行测试,并根据测试结果评价软件可靠性,是高可靠软件测试的重要组成部分.由于统一建模语言(unified modeling language,简称UML)已经成为事实上的面向对象标准建模语言,因此,从软件UML模型构造软件使用模型就成为面向对象软件统计测试的关键.为此,定义了加入统计测试约束的UML用例图、序列图以及用例执行顺序关系,为基于UML的软件统计测试提供了一个形式化描述基础.在此基础上,给出一个从软件UML模型构造软件Markov链使用模型的算法,并给出了自动化支持工具UMGen的类图结构,基于一个卫星控制系统,说明了所提出方法的有效性.  相似文献
5.
UML实时活动图的形式化分析   总被引:15,自引:0,他引:15  
统一建模语言(UML)自从成为OMG规范后,应用越来越广泛.但UML没有精确的、形式化的语义阻碍了它的进一步发展.该文基于Petri网,给出带时间约束的UML活动图的形式化描述.与Petri网不同的是,Petri网的时间约束是在跃迁(transition)上,而作者将UML活动图的时间约束放在活动状态上,在此基础上,用整型时间的验证技术对实时活动图的时间性质加以分析,为实时系统的建模打下了基础.  相似文献
6.
UML活动图在工作流过程建模中的应用研究   总被引:14,自引:4,他引:10  
UML(Unified Modeling Language)是一种定义良好、易于表达、功能强大且普遍适用的建模语言,其引入活动图的目的之一就是用于企业建模或描述工作流。根据具体应用需要,对活动图的子过程活动、逻辑连接符、控制流边等进行了扩展,给出了扩展后UML活动图的数学模型。  相似文献
7.
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图的测试用例生成和测试过程的模拟.  相似文献
8.
运用UML和Rational Rose进行J2EE应用开发   总被引:13,自引:1,他引:12  
J2EE已经成为一种日渐热门的企业级应用程序开发平台,如何利用J2EE平台尽可能快速,有效地开发和部署应用系统有着其内在的复杂性,介绍了如何运用UML和Rational Rose强大的可视化建模工具来协助开发基于J2EE的应用系统的方法,并给出了一个基于Web的虚拟企业伙伴选择系统的应用例子。  相似文献
9.
元建模技术研究进展   总被引:13,自引:1,他引:12       下载免费PDF全文
刘 辉  麻志毅  邵维忠 《软件学报》2008,19(6):1317-1327
随着UML(unified modeling language)与MDA(model driven architecture)的兴起和流行,模型已经成为软件开发的核心制品,而模型重要性的提升使得建模语言以及定义建模语言的元模型逐渐成为软件开发中的一个核心要素.软件开发往往涉及多个领域,而不同的领域往往需要不同的建模语言及其建模工具.但是,手工地为不同的建模语言开发建模工具代价高昂.元建模技术是解决这个问题的方法之一,通过元建模,可以根据领域需要定制合适的元模型以定义领域建模语言,进而自动生成支持该建模语言的建模工具.大量的工程实践表明,与领域建模以及MDA相结合,元建模可以大幅度地提高软件开发效率,基于元建模的MDA比基于通用建模语言的MDA更具潜力.在最近的几年中,元建模及其相关技术发展迅猛,不但在技术上取得了长足的进步,而且在产业界也开始出现大规模的商业应用.总结了元建模的现有研究成果,分析和比较了现有元建模工具,探讨了元建模的可能发展方向.对元建模中存在的问题进行分析,并指出了可能的解决途径.  相似文献
10.
正交软件体系结构的设计与进化   总被引:11,自引:0,他引:11  
论述了正交软件体系结构的基本思想和结构框架.研究了正交软件体系结构的设计与进化过程.并将该过程运用到劳动和社会保险管理信息系统的设计、实现和进化中.实践证明,正交软件体系结构具有结构清晰、易于理解、易修改、可维护性强、可移植性强、重用粒度大等优点.  相似文献
设为首页 | 免责声明 | 关于勤云 | 加入收藏

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