首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   57篇
  国内免费   11篇
  完全免费   61篇
  自动化技术   129篇
  2008年   1篇
  2007年   5篇
  2006年   8篇
  2005年   14篇
  2004年   7篇
  2003年   3篇
  2002年   7篇
  2001年   11篇
  2000年   9篇
  1999年   5篇
  1998年   12篇
  1997年   6篇
  1996年   15篇
  1995年   11篇
  1994年   3篇
  1992年   3篇
  1991年   2篇
  1990年   4篇
  1989年   2篇
  1988年   1篇
排序方式: 共有129条查询结果,搜索用时 31 毫秒
1.
B语言和方法与Z、VDM的比较   总被引:23,自引:0,他引:23       下载免费PDF全文
邹盛荣  郑国梁 《计算机科学》2002,29(10):136-138
1 引言形式化方法是建立在严格数学基础上的软件开发方法。软件开发的全过程中,从需求分析、规格说明、设计、编程、系统集成、测试、文档生成直至维护各阶段,凡是采用严格的数学语言、具有精确的数学语义的方法都称为形式化方法。形式化方法的一个重要研究内容是形式规格说明,即用具有精确语义的形式化语言书写的程序功能描述,它是论证程序是否正确的依据。形式化方法需要形式规格说明语言的支持,也可以说形式化方法的关键在于形式规格说明语言。形式规格说明语言提供了一个称为语法域的记号系统和一个称为语义域的目标集合,以及一组精确地定义哪些目标系统满足哪个规格说明的规则。根据对目标软件系统进行说明的方式分三种规格说明语言:  相似文献
2.
一种分析和理解程序的方法--程序切片   总被引:20,自引:0,他引:20  
程序切片是一种分析和理解程序的技术,是通过对源程序中每个兴趣点分别计算切片来达到对程序的分析和理解。程序中某个兴趣点的程序切片不仅与该点定义和使用变量有关,而且与影响该变量的值的语名和谓词以及受该变量的值影响的语名的谓词有关。文中详细阐述了程序切片技术的研究与进展情况,并对目前存在各种程序切片方法和工具进行了比较;简单介绍了文中提出的面向对象的分层切片方法及其算法的思想;最后分析了程序切片技术目前  相似文献
3.
基于场景规约的构件式系统设计分析与验证   总被引:16,自引:0,他引:16  
使用接口自动机及接口自动机网络来描述构件式系统的行为设计模型,使用UML顺序图表示基于场景的需求规约,对系统设计阶段的构件交互行为的动态兼容性进行形式化分析和检验.通过对接口自动机网络状态空间的分析,给出了一系列算法以检验系统行为的存在一致性以及几种不同形式的强制一致性性质,包括前向强制一致性、逆向强制一致性以及双向强制一致性等.  相似文献
4.
UML实时活动图的形式化分析   总被引:15,自引:0,他引:15  
统一建模语言(UML)自从成为OMG规范后,应用越来越广泛.但UML没有精确的、形式化的语义阻碍了它的进一步发展.该文基于Petri网,给出带时间约束的UML活动图的形式化描述.与Petri网不同的是,Petri网的时间约束是在跃迁(transition)上,而作者将UML活动图的时间约束放在活动状态上,在此基础上,用整型时间的验证技术对实时活动图的时间性质加以分析,为实时系统的建模打下了基础.  相似文献
5.
软件理解研究与进展   总被引:13,自引:1,他引:12  
软件理解是进行软件维护的一个重要步骤,是一个逐层推进的递增模式匹配过程。软件理解由任务,策略,概念,模型,方法和工具等环节组成。文中分析了软件理解的任务和策略。对软件理解的各种模型进行了比较,详细论述了目前活跃在学术界的各种软件理解方法,并对目前存在的各种软件理解工具或环境进行了归类和比较。  相似文献
6.
场景驱动的构件行为抽取   总被引:10,自引:1,他引:9       下载免费PDF全文
如果构件含有冗余的功能,特别是含有用户不想要的功能,则无法被用户正确使用.因此,如何从构件中提取场景规约中所描述的用户想要的行为便是一个亟待解决的问题.给出了解决该问题的一种方法.该方法通过为构件构造一个环境,即极大包含环境,使得场景规约中所描述的所有行为可以从构件中抽取出来,并保留到该构件与其极大包含环境的组合中.同时,构件中的其他行为,即不在场景规约中的行为,被尽可能地舍弃.用接口自动机为构件的行为建模,并将用消息序列图描述的场景规约抽象为一组活动序列.构件的组合描述为接口自动机的乘积.给出了基于场景进行构件行为抽取的相关算法,并用一个实例对文中所述方法进行了说明.  相似文献
7.
Z的面向对象扩充COOZ的设计   总被引:10,自引:0,他引:10       下载免费PDF全文
袁晓东  郑国梁 《软件学报》1997,8(9):694-700
为了使Z规格说明与面向对象开发方法相结合,本文在Z中扩充了对象类型和模块描述机制,使之成为面向对象的形式化规格说明语言COOZ(completeobject-orientedZ).内容包括COOZ的设计思想、语法定义及说明、形式化语义、实例以及与相关研究工作的比较.  相似文献
8.
对象式逻辑程序设计   总被引:9,自引:3,他引:6  
本文首先对逻辑程序设计与对象式程序设计进行一些比较,然后介绍对象式逻辑程序设计的基本原理、新进展、应用及目前存在的主要问题。  相似文献
9.
基于MDA的UML模型转换技术--从顺序图到状态图   总被引:9,自引:0,他引:9  
为了实现不同中间件平台之间的集成和互操作,OMG提出了一个标准的基于模型的体系结构:MDA。MDA将应用模型划分成与平台无关的模型(PIM)和与平台有关的模型(PSM),并定义了PIM和PSM之间的4种映射关系。该文主要对PIM到PIM之间的映射进行了研究。该映射实质上是PIM模型的精化,其主要方面是分析模型和设计模型之间的转换。MDA使用UML来描述各种模型。UML是一种可视化的通用的面向对象的建模语言。UML顺序图主要用于需求分析.而状态图在系统设计阶段起重要作用。该文介绍了一种从UML顺序图中合成状态图的方法,合成的过程基本上是自动完成的.只需要很少的用户交互,从而为PIM模型的精化提供有力的支持。  相似文献
10.
MDA的设想与实现   总被引:8,自引:1,他引:7  
模型驱动体系结构(MDA)提出了一种利用模型进行软件开发的方法,它将模型作为软件开发过程的关键,MDA的基本思想是将模型区分为平台独立模型(platform independent model)和平台相关模型(platform specific model),通过不同抽象层次模型之间的转换完成软件开发过程。介绍了MDA的设想,包括MDA的基本概念,基于MDA的开发过程,讨论了实现MDA所涉及的几个重要问题。  相似文献
设为首页 | 免责声明 | 关于勤云 | 加入收藏

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