首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   930篇
  国内免费   101篇
  完全免费   92篇
  自动化技术   1123篇
  2018年   3篇
  2017年   2篇
  2016年   6篇
  2015年   11篇
  2014年   42篇
  2013年   26篇
  2012年   67篇
  2011年   146篇
  2010年   115篇
  2009年   179篇
  2008年   189篇
  2007年   76篇
  2006年   69篇
  2005年   57篇
  2004年   33篇
  2003年   37篇
  2002年   27篇
  2001年   13篇
  2000年   6篇
  1999年   2篇
  1998年   4篇
  1995年   2篇
  1994年   2篇
  1993年   2篇
  1992年   1篇
  1991年   1篇
  1990年   1篇
  1989年   1篇
  1988年   1篇
  1987年   1篇
  1985年   1篇
排序方式: 共有1123条查询结果,搜索用时 31 毫秒
1.
基于模型的软件测试综述   总被引:6,自引:6,他引:21  
颜炯  王戟  陈火旺 《计算机科学》2004,31(2):184-187
随着面向对象软件开发技术的广泛应用和软件测试自动化的要求,特别是基于UML的软件开发技术的逐渐普及,基于模型的软件测试逐渐得到了软件开发人员和软件测试人员的认可和接受。针对被测试软件的不同特征和不同测试目的,已经提出了多种测试模型。本文详细阐述了基于模型的软件测试研究现状和应用现状,并对测试中使用的不同模型进行了比较,着重介绍了状态机模型、UML模型和马尔可夫链模型。最后提出了未来的研究方向。  相似文献
2.
软件形式化与可视化软件模型的转换   总被引:5,自引:5,他引:4  
1.前言现有的面向对象的可视化方法和形式化方法都具有各自的优点,UML是可以完全可视化的图形语言,使用简单,能够很好地体现面向对象软件开发的特点。现在已经有很多面向对象的软件CASE工具都支持UML,其中包括Rational公司的Rational Rose系列,微软公司的Visio,北大青鸟CASE工具,Visual UML等。这些工具支持基于UML的软件开发过程模型RUP(Rational Unify Process)下工作,能够很方便地使用UML建立软件模型,根据软件模型可以自动  相似文献
3.
基于UML的嵌入式绗缝测试系统研究   总被引:5,自引:5,他引:0  
为提高电脑绗缝机伺服运动控制系统的特性与可靠性,设计并实现了一种基于UML的嵌入式绗缝测试系统。以绗缝系统的需求规格、各种规范、标准和协议为基础,以UML的分析设计规约文档作为设计的重要依据,通过对UML文档的词法语法分析,利用类图、活动图、用例图分别完成单元测试、类簇测试和系统测试,通过分析测试结果完善绗缝系统的设计。  相似文献
4.
基于UML的工作流管理系统建模的应用研究   总被引:4,自引:4,他引:4  
首先对UML和Rational Rose的基本知识以及工作流管理系统的组成和功能进行简要的论述,对于UML和Rose在工作流管理系统中的应用的优点进行了讨论,并结合改进某煤矿企业安全管理的流程的实例,论述如何利用Rose对工作流管理系统进行有效的业务建模。  相似文献
5.
基于用例的需求建模方法   总被引:3,自引:3,他引:3  
张秋余  杨玥  王雪  王鹏  贾志龙 《计算机工程与设计》2006,27(19):3539-3540,3548
传统的软件需求规约是采用功能分解的方式来描述系统功能,而采用用例的方法进行需求获取和建模,是以用户为中心的建模方法.用例模型是由用例图和用例规约所组成的.用例图用来规定系统的行为,用例规约是用文档的形式对每个用例进行描述的.通过对银行系统进行基于用例的需求分析和建模,可以了解用例模型的益处.  相似文献
6.
基于UML的单片机温度测控系统设计   总被引:3,自引:3,他引:0  
农业科研和生产过程中经常遇到温度测量和控制,比如农业温室和培育房的水温测控,以往采用的软硬件设计方法在信息技术迅速发展的情况下已经显示出低性能,文中的目的就是要改进落后的系统设计方法,提出较为先进的设计理念和方法;以89C51单片机为核心,采用了UML方法,利用UML的用例图、类图等静态建模法和状态图、顺序图等动态建模法,将一个系统全面的清晰的表示出来;在此方法的指导下,设计了一个水温测控系统,通过实验,该系统控制参数设定方便、控制精度高、稳定性好,由此充分体现了UMI,方法强大的表达能力,水温测控系统用UML方法表达清晰、严谨、易于实现。  相似文献
7.
基于.NET平台的信息系统开发方法   总被引:2,自引:2,他引:1  
介绍了软件开发的相关环境、模式以及工具,提出一个基于.NET平台的信息系统的开发框架,以建筑设计项目管理软件开发为实例,对系统设计和实现过程作出技术分析.  相似文献
8.
基于B/S的课程网络化教学平台的设计与实现   总被引:2,自引:2,他引:0  
首先对课程网络化教学的现状作分析,然后在分析UML建模技术的基础上,提出基于B/S的课程网络化教学平台,该平台采用B/S结构、.NET架构和SQL数据存储技术,能全面支持教学的各个环节,提供教学资源共享、网络课堂、师生互动、作业管理、在线自测和网上答疑等多种综合教学服务,该平台有效提高了教学的质量和效率,具有较高的实用价值。  相似文献
9.
基于UML的全程办税系统的建模与实现   总被引:2,自引:2,他引:1  
UML(Unified Modeling Language)是一种易于表达、功能强大的面向对象标准建模语言,广泛应用在系统建模过程中.基于UML建模的迭代式开发方法具有传统开发方法无可比拟的优点.文中结合全程办税系统的需求分析,采用RUP(Rational Unified Process)建模过程,建立了系统的用例图、类图和顺序图,从静态和动态不同建模机制,给出了基于UML的系统需求模型、静态模型和动态模型的建模过程.在可视化建模工具EA(Enterprise Architect)环境下,实现了从模型到C#代码的自动生成,完成了系统的实现.  相似文献
10.
LSCs: Breathing Life into Message Sequence Charts   总被引:2,自引:2,他引:22  
While message sequence charts (MSCs) are widely used in industry to document the interworking of processes or objects, they are expressively weak, being based on the modest semantic notion of a partial ordering of events as defined, e.g., in the ITU standard. A highly expressive and rigorously defined MSC language is a must for serious, semantically meaningful tool support for use-cases and scenarios. It is also a prerequisite to addressing what we regard as one of the central problems in behavioral specification of systems: relating scenario-based inter-object specification to state-machine intra-object specification. This paper proposes an extension of MSCs, which we call live sequence charts (or LSCs), since our main extension deals with specifying liveness, i.e., things that must occur. In fact, LSCs allow the distinction between possible and necessary behavior both globally, on the level of an entire chart and locally, when specifying events, conditions and progress over time within a chart. This makes it possible to specify forbidden scenarios, for example, and enables naturally specified structuring constructs such as subcharts, branching and iteration.  相似文献
设为首页 | 免责声明 | 关于勤云 | 加入收藏

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