首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   75篇
  免费   10篇
  国内免费   12篇
综合类   1篇
自动化技术   96篇
  2021年   1篇
  2020年   1篇
  2015年   2篇
  2014年   3篇
  2013年   1篇
  2012年   3篇
  2011年   7篇
  2010年   7篇
  2009年   5篇
  2008年   11篇
  2007年   9篇
  2006年   10篇
  2005年   4篇
  2004年   9篇
  2003年   1篇
  2002年   5篇
  2001年   1篇
  2000年   3篇
  1999年   2篇
  1998年   2篇
  1997年   1篇
  1995年   1篇
  1993年   2篇
  1992年   1篇
  1991年   1篇
  1990年   1篇
  1989年   2篇
  1987年   1篇
排序方式: 共有97条查询结果,搜索用时 15 毫秒
1.
结构化方法,面向对象方法的形式方法的比较与结合   总被引:1,自引:0,他引:1       下载免费PDF全文
结构化方法、面向对象方法和形式方法是三种不同的软件开发方法。本文对这三种开发方法进行了对照比较,讨论了它们的互相结合,并提出了将其结合在一起的集成方法的设想。  相似文献   
2.
吴茂康  缪淮扣 《计算机学报》1993,16(11):837-843
缺省推理是各种非单调推理系统中最在影响的系统之一。R。Reiter对规范缺省理论作了一系列的研究。他还提出了证明理论,并证明了这一证明理论对于规范缺省理论来说是完备的。W。Etherington则提出了应用范围更为广泛的有序半规范缺省理论。本文先证明了这类缺省理论具有半单调性等各种性质,然后证明了R。Reiter的证明理论对于有序半规范缺省理论也是完备的。  相似文献   
3.
基于图的Web服务组合优化的研究   总被引:7,自引:0,他引:7  
单个Web服务难以满足实际应用的需求,如何组合已有的服务,形成新的服务,已成为此领域的研究热点。现在的组合方法极少考虑服务质量QoS(Quality of Service)。对于一些提供相似功能的Web服务,服务质量是判断是否选择此服务的关键因素,组合服务的质量必须满足用户的需求。本文基于SOA的服务开发思想,针对当前服务组合存在的问题,提出了一种基于QoS的服务组合方法,并给出了构建基于QoS的Web服务组合及选择最佳服务的策略,通过整合单个服务的质量以得到最终组合服务的整体最佳质量。在满足用户组合服务的功能需求的同时,也满足了用户对服务质量QoS的需求,实现了需求服务的优化。  相似文献   
4.
模型转换在MDA软件开发方法中扮演着非常重要的角色,尤其是从CIM到PIM的转换。本文给出了一种从CIM转换到PIM的方法。在CIM中,我们通过特征模型来组织需求,同时用软件体系结构来组织PIM中的各个要素。这个转换中的核心内容是模式的应用。在CIM的需求模型中,本文将特征分层,从而将需求分为不同的层次。同时模式也被分为不同的层级,其中包括体系结构模式和设计模式。针对不同层级的特征模型,应用不同层级的模式进行变换,从而得到分层的体系结构。当需求发生变化时,首先确定这种特征的变化是在哪个层级上的,然后在不同的体系结构层级上变换相应的功能,从而实现PIM的相应变化。本文最后以自行开发的Object-Z的支持工具为例来说明所给出的方法。  相似文献   
5.
面向对象形式规格说明语言Object-Z与进程代数CSP相结合是当今的一个热点,它既可以表示复杂的模块化数据与算法,又可以表示系统的行为,但求精与验证对它们结合后的规格说明需要分别进行处理。本文提出了一个方法,把Object-Z规格说明转化为CSP规格说明,可以方便地处理结合后的规格说明,因此求精与推理对结合后的规格说明可以按CSP规则与方法一致来进行处理。此外,转化后的Object-Z规格说明可以按照CSP方法进行模型检查。  相似文献   
6.
Z规格说明的前置条件的简化   总被引:6,自引:0,他引:6  
缪淮扣 《软件学报》1997,8(9):709-715
在软件方法学中,形式方法越来越受到人们的重视,并已被应用于软件开发.Z是一种基于数学表示的软件规格说明方法.前置条件的简化是Z规格说明方法中一种标准的检查,本文讨论了Z规格说明中关于操作的前置条件及其计算.提出了简化过程的终止条件,给出了一个用于简化前置条件的算法,该算法可自动产生简化过程的证据.  相似文献   
7.
1.引言从60年代“软件危机“出现以来,为了提高软件质量和软件开发的效率,人们提出了各种各样的软件开发方法。这些方法大致上可分为三类:结构化方法、面向对象方法和形式方法。在过去的三十多年中,人们在结构化方法和面向对象方法的研究及其应用上做了大量的工作。结构化方法最为成熟,影响也最大。直到现在,仍有60-70%的系统是用结构化方法开发的。面向对象方法近十年发展比较快,大有取代结构化方法的趋势。对于形式方法,一直有人在研究,但由于种种原因,投入的人力和物力很不够,还未形成规模,应用也不  相似文献   
8.
高晓雷  缪淮扣  李勇 《计算机工程》2006,32(11):50-57,5
主要介绍了用C++类模板实现Z规格说明语言中的类型,包括数据结构的设计、成员函数的设计。该模板的实现便于代码的重用和简化求精,从而提高软件开发的效率。  相似文献   
9.
High quality software requirement specification is crucial for a software development. Although much efforts and research works have been done to address the problem, the errors in user requirement are still prevent us from developing high quality software. To address the problem, this paper proposes integrating graphical specification technique UML with formal specification technique to construct user requirement specification. We also present a prototype tool to perform the automatic translation from UML specification into Object-Z specification.  相似文献   
10.
对逻辑覆盖软件测试准则的公理化评估   总被引:8,自引:1,他引:8  
刘玲  缪淮扣 《软件学报》2004,15(9):1301-1310
由于形式规格说明采用一种精确、一致、容易被机器自动处理的符号系统来描述软件需求,因而形式规格说明为测试用例的自动生成和软件功能的验证提供了基础.在基于形式规格说明的测试过程中逻辑覆盖测试准则是一组常用的测试准则,如何选择和使用其中的每个测试准则是应用这组测试准则时面临的主要问题.因此分析和比较这组测试准则中每个测试准则的性质将为测试工程师选择测试准则提供指导和帮助.对测试充分性准则的公理化评估是一种比较测试准则的方式,这种方式将对理想的测试准则的直觉需求定义为一组公理,然后通过检查测试准则是否满足该组公理来分析和比较相应的测试准则.描述了一组理想的逻辑覆盖测试准则应该具有的性质和用来确定一个测试充分性准则是否完全的生成算法.这组性质被形式化地定义为一组公理.利用这种形式化的定义,用定理的形式精确地给出了这些性质之间的关系.最后通过这组公理系统来评估现有的逻辑覆盖测试准则.评估的结果为测试人员在实际过程中选择逻辑覆盖测试准则提供了指导.  相似文献   
设为首页 | 免责声明 | 关于勤云 | 加入收藏

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