首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   2651篇
  国内免费   167篇
  完全免费   353篇
  自动化技术   3171篇
  2020年   2篇
  2019年   5篇
  2018年   16篇
  2017年   41篇
  2016年   13篇
  2015年   52篇
  2014年   178篇
  2013年   108篇
  2012年   128篇
  2011年   163篇
  2010年   162篇
  2009年   164篇
  2008年   205篇
  2007年   168篇
  2006年   129篇
  2005年   144篇
  2004年   173篇
  2003年   229篇
  2002年   241篇
  2001年   193篇
  2000年   97篇
  1999年   66篇
  1998年   68篇
  1997年   54篇
  1996年   50篇
  1995年   48篇
  1994年   44篇
  1993年   29篇
  1992年   47篇
  1991年   50篇
  1990年   36篇
  1989年   68篇
排序方式: 共有3171条查询结果,搜索用时 62 毫秒
1.
软件工程技术发展思索   总被引:164,自引:17,他引:147       下载免费PDF全文
在4个方面对软件工程技术的发展进行一些思索:(1) 从事物发展规律的角度,揭示软件工程技术发展历程;(2) 从软件本质特征的角度,浅析虚拟机各抽象层次的构造;(3) 从软件开发的本质,提出了软件工程学科研究的内容,并研究了软件工业化生产模式;(4) 以Internet的出现为背景,探索了软件技术的发展趋势.  相似文献
2.
构件组装及其形式化推导研究   总被引:65,自引:0,他引:65       下载免费PDF全文
任洪敏  钱乐秋 《软件学报》2003,14(6):1066-1074
基于构件的软件工程(component based software engineering,简称CBSE)能够有效地提高软件开发的质量和效率.构件组装和组装推导(compositional reasoning)是CBSE的关键技术.基于软件构件的特点,借鉴进程代数中进程构造的方法,提出6种构件组装机制,能够灵活、简便地集成软件构件,并主张在构件组装的同时进行接口组装,通过生成功能更强、抽象级别更高的复合接口,提高构件组装的抽象级别和粒度.同时,基于Wright的形式化规约软件体系结构的研究,给出了复合构件和复合接口的组装推导算法,为系统行为的形式化分析、验证和仿真奠定了基础.  相似文献
3.
软件复用   总被引:61,自引:1,他引:60       下载免费PDF全文
杨芙清  朱冰  梅宏 《软件学报》1995,6(9):525-533
本总结了软件复用技术的基本概念,介绍了有关软件复用的理论研究和实践活动,指出研究软件复用技术存在的关键问题,并给出了可选解决方案,最后,说明了软件复用与CASE环境的关系。  相似文献
4.
C/S与B/S混合软件体系结构模型   总被引:43,自引:4,他引:39  
C/S体系结构和B/S体系结构各有其优缺点,这两种结构长期共存于软件系统的开发中,文章对C/S和B/S进行了对比分析,提出了C/S与B/S混合软件体系结构两个模型,最后给出了实现模型的一个应用实例,实践证明,在软件项目的开发中,使用C/S与B/S混合软件体系结构,能节省开发和维护成本,使系统具有良好的开发性,易扩展性,便于移植等优点。  相似文献
5.
软件体系结构建模研究   总被引:41,自引:3,他引:38       下载免费PDF全文
周莹新  艾 波 《软件学报》1998,9(11):866-872
提出了软件体系结构工程的概念,建立了软件体系结构的生命周期模型并对软件体系结构进行了分类和建模,介绍了几种典型的软件体系结构语言,提出了一个基于时序逻辑的形式化体系结构语言-XYZ/SAE.该语言可作为系列化时序逻辑语言族XYZ/E的子语言,支持对软件体系结构可的构件,连接件和配置的描述,并可在统一的框架下描述软件体系的结构静态行为和动态行为。  相似文献
6.
UML可视化建模系统的模型一致性检查机制   总被引:36,自引:0,他引:36  
UML标准建模语言是面向对象技术领域中的重要成果,使用UML解决现实世界中的问题是当前该领域的研究热点。UML集成支持环境既可提高建模的效率,也可在一定程度上保证所建模型间的一致性;通过模拟动态模型的行为,可在建模的早期发一模型中存在的问题;代码生成,逆向变换系统将模型和程序代码有机地统一起来。  相似文献
7.
软件体系结构抽象模型   总被引:36,自引:4,他引:32  
8.
自动测试系统(ATS)软件的发展及关键技术   总被引:34,自引:4,他引:30  
就军事装备而言,自动测试系统(ATS)软件是战斗支援的核心要素,是联系测试资源和被测单元的桥梁。良好的软件体系结构会提升ATS的性能,降低开发费用、改善TPSs的可移植性。着重从软件技术角度介绍了ATS发展的进程、面临的问题以及关键技术。  相似文献
9.
基于接口参数的黑箱测试用例自动生成算法   总被引:34,自引:5,他引:29  
测试用例的选择与生成技术是软件测试尤其是黑箱测试的一个重要研究领域,测试用例的质量将直接决定软件测试的科学性和有效性.该文在一般的测试用例选择方法的基础上,提出了一种基于对接口参数进行组合覆盖的黑箱测试用例自动生成算法模型,据此可以生成一个对所有接口参数进行两两组合覆盖的测试用例表.并证明了该方法产生的测试用例具有数量少、能实现对接口参数最大限度组合覆盖的特点,从而可以在提高软件测试质量的同时,降低成本,提高效率.最后介绍了该算法在作者研究开发的测试数据生成工具中的实际效果.  相似文献
10.
构件库技术的研究与发展   总被引:32,自引:1,他引:31       下载免费PDF全文
1.引言软件工程的目标是致力于提高软件生产效率和软件质量,摆脱手工作坊式的开发方式。如果每个应用软件系统的开发都从头开始,其中必然存在大量的重复劳动。软件复用是一条提高软件生产效率和软件质量的切实可行的解决方案,其出发点是应用系统的开发以已有的工作为基础,充分利用已有系统的开发中所积累的知识和经验进行新的开发。这样软件开发的重点就可以集中于应用系统中的特有构成成分上。软件构件只有在数量上达到了一定的规模才能真正满足软件复用和基于构件的软件开发(CBSD)的需求,因此必须有一个强有力的工具来对这些数量庞大的软件构件进行管理。构件库作为一种支持软件复用的基础设施,它提供对软件构件进行描述、分类、存储和检索等功能。  相似文献
设为首页 | 免责声明 | 关于勤云 | 加入收藏

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