首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   44篇
  免费   23篇
  国内免费   11篇
无线电   6篇
自动化技术   72篇
  2015年   1篇
  2013年   1篇
  2012年   2篇
  2011年   7篇
  2010年   3篇
  2009年   4篇
  2008年   9篇
  2007年   2篇
  2006年   14篇
  2005年   6篇
  2004年   4篇
  2003年   4篇
  2002年   4篇
  2001年   5篇
  2000年   5篇
  1997年   2篇
  1996年   1篇
  1988年   1篇
  1984年   1篇
  1982年   1篇
  1981年   1篇
排序方式: 共有78条查询结果,搜索用时 15 毫秒
1.
提出了一种反应式系统选择性测试方法.该方法根据描述待测系统的UML Statecharts模型和描述系统功能属性的时序逻辑公式生成有针对性的测试序列.据此实现了一个面向性质的测试工具.实验表明,该方法可以将测试资源集中于用户关注的系统行为.经扩展后,该方法可用于实时系统.  相似文献   
2.
示范性软件学院验收评估的思考与体会   总被引:2,自引:2,他引:0  
我应邀参加了2003年9月教育部和软件行业协会组织的示范性软件学院的中期评估和2006年5月示范性软件学院的验收活动。两次活动我去的学校都相同。它们是:北京大学、华东师范大学、复旦大学、上海交通大学、同济大学和浙江大学(即下文指的六所软件学院)。我目睹和感受了这六所大学示范性软件学院的创业者们以改革、创新的精神培养新型软件人才所取得的成就。它们在办学指导思想、办学模式、教育教学改革、教师队伍建设、办学条件、学生工作、毕业生就业等方面都取得了可喜的成绩。本期《计算机教育》杂志集中报道这方面的情况,借此机会谈谈我的感受和体会,由于时间和篇幅的限制不可能很全面。  相似文献   
3.
基于多Agent系统的软件开发方法研究   总被引:7,自引:0,他引:7       下载免费PDF全文
面向Agent的软件工程近年来获得很多人的关注,其中MAS是一个重要的研究方向.到目前为止,已经出现了20多种MAS开发方法.本文对现有的主要方法进行了分类和总结,并利用三层次模型对常用的三类方法进行了比较,希望对读者有一定的借鉴作用.  相似文献   
4.
利用基于抽象解释的变量值范围传播技术,提出了一种自动分析高级语言程序流信息的方法;并在白盒测试工具NPCA的基础上,利用该方法实现了WCET分析工具NPCA-WCET。  相似文献   
5.
LSC是一种表达能力很强的顺序图建模语言,模型检验技术是验证软件模型正确性的重要方法,提出了一个对LSC模型进行模型检验的方法,并实现了相关支持工具。首先分析了LSC语言,然后基于其语义提出了生成LSC等价状态模型的方法,进而对生成的状态模型进行模型检验;最后进行了实例研究,利用给出的实现工具检验了用CTL描述的验证性质。  相似文献   
6.
基于WCET分析的实时系统轨迹获取技术   总被引:1,自引:0,他引:1  
王馨  姬孟洛  王戟  齐治昌 《软件学报》2006,17(5):1232-1240
时序约束是判断实时系统运行是否正确的重要规约.为了减小测试时由于对系统进行插装而产生的对实时系统行为的影响,提出了一种混合式监控方法.它对系统的时间干扰比纯软件方式小,并支持对系统的完全测试.此外,还提出一种基于WCET(worst-case execution time)分析技术的目标系统时间补偿方法,在精确地计算插入断言对目标系统的时间影响基础上,给出时间补偿.  相似文献   
7.
多Agent系统中软构件的动态绑定机制及其操作语义   总被引:2,自引:1,他引:2  
近年来,越来越多的以计算机网络为平台的应用系统表现出自主性、动态性、开放性和异构性的特点,这使得软件开发理论和技术需要从软件体系结构的角度对这类系统的开发提供支持.面向Agent的软件开发技术提供了高层和自然的抽象方式对软件系统进行分析和设计,但现有面向Agent的方法学将Agent Class或者Agent Type视为多Agent系统软件体系结构的软构件,与Agent之间的关系仅仅是实例化的关系,这难以满足复杂系统对动态性的需求.从软件体系结构的角度上分析了多Agent系统中软构件的形式和机制,将Caste作为软构件,并以此为基础提出了Caste与Agent之间的动态绑定关系,定义了支持该机制的4个基本操作:join,quit,activate和inactivate及其操作语义,用以来指导多Agent系统软件体系结构的设计和实现.  相似文献   
8.
标记迁移系统是一种在计算机辅助设计和验证中得到广泛使用的形式模型。当系统中的模块比较多时,系统的整体模型有可能出现状态空间的指数级爆炸,组合可达性分析是缓解这一问题的一种有效方法。已有的工作缺乏对该方法基本原理的清晰描述和精确表达。本文对其基本原理进行了分析和概括,并作了形式化陈述,证明了相关结论。本文的工作有助于深入理解和澄清组合可达性分析的内部工作机制。  相似文献   
9.
软件可靠性工程框架和评估系统实现   总被引:1,自引:0,他引:1  
给出了软件可靠性工程的实施框架,它规范了软件可靠性评估的过程.文章还提出一个软件可靠性评估系统的体系结构,并给出了实现所需要的一些关键技术.已经依此实现了一个软件可靠性评估系统CaSoR(Computer aid Software of Reliability),并已经被实际  相似文献   
10.
UML Statecharts的切片模型检验方法   总被引:2,自引:0,他引:2       下载免费PDF全文
董威  王戟  齐治昌 《电子学报》2002,30(Z1):2082-2089
统一建模语言UML已被广泛应用于软件设计和开发中,而验证UML模型是否满足关键的性质需求成为一个重要问题.由于空间爆炸和语义的复杂性,对Statecharts进行模型检验受到软件规模和设计精化程度的制约.本文在用扩展层次自动机(EHA)结构化的表示UML Statecharts后,通过分析EHA中存在的层次、并发和事件同步等特征定义了一组依赖关系.对于由状态和迁移组成的切片准则,给出对EHA进行切片的算法.该算法能保证切片后的EHA与原来的Statecharts对性质具有相同的可满足性,且删除了与被验证性质无关的层次和并发状态,缓解了空间爆炸问题.  相似文献   
设为首页 | 免责声明 | 关于勤云 | 加入收藏

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