您好,欢迎光临本网站![请登录][注册会员]  

搜索资源列表

  1. C#语言参考C#语言参考

  2. 目录 1. 介绍 1 1.1 Hello, world 1 1.2 类型 2 1.2.1 预定义类型 3 1.2.2 转换 5 1.2.3 数组类型 6 1.2.4 类型系统一致 7 1.3 变量和参数 8 1.4 自动内存管理 11 1.5 表达式 13 1.6 声明 14 1.7 类 17 1.7.1 常数 19 1.7.2 域 19 1.7.3 方法 20 1.7.4 属性 21 1.7.5 事件 22 1.7.6 操作符 23 1.7.7 索引 24 1.7.8 实例构造函数 25 1
  3. 所属分类:C#

    • 发布日期:2009-05-07
    • 文件大小:1048576
    • 提供者:xiang722
  1. UML参考手册(UML建模)

  2. UML是一种用于对软件密集型系统进行可视化、详述、构造和文档化的建模语言,主要适用于分析与设计阶段的系统建模。UML最主要的特点是表达能力丰富。因为它从各种OOA&D方法中吸取了大量的概念,并在“UML语义”、“UML表示法指南”、“对象约束语言规约”等UML文献中对这些概念的语义、图形表示法和使用规则作了完整而详细的定义。可以说,UML对系统模型的表达能力超出了以往任何一种OOA&D方法。当然,随之而来的问题是,它的复杂性也超出了以往任何一种方法。
  3. 所属分类:专业指导

    • 发布日期:2009-06-02
    • 文件大小:1048576
    • 提供者:song_0521
  1. 面向对象与UML资料

  2. 面向对象与UML 第一部分 软件开发活动 7 第一章 结构化的分析与设计 8 第一节 模型图 8 业务流程图 8 数据流图 11 功能结构图 12 功能树 13 网络结构图 14 程序流程图 15 第二节 需求分析 15 需求分析的任务 15 需求分析的步骤 15 需求分析的原则 16 需求分析的方法 16 第三节 概要设计 16 概要设计任务 17 概要设计过程 17 一些概念 17 概要设计原则 17 概要设计方法 17 第四节 详细设计 18 详细设计的任务 18 详细设计的原则 18
  3. 所属分类:C#

    • 发布日期:2009-06-06
    • 文件大小:2097152
    • 提供者:dillionjoy
  1. 基于OCL文法的测试用例自动生成方法研究

  2. 随着软件测试技术的飞速发展, 很多自动生成和执行测试用例的方法的技术已经发展起来。对于自动生成测试用例 约束的形式化定义也有很多方法, 其中, 对象约束语言(OCL)就是其中最具代表性的。
  3. 所属分类:专业指导

    • 发布日期:2009-09-19
    • 文件大小:130048
    • 提供者:wkkys
  1. 二级C语言公共基础知识

  2. (内有最新习题和ppt教程) 最新二级公共基础知识填空40题+80选择题 (1) 算法的复杂度主要包括______复杂度和空间复杂度。 答:时间 (2) 数据的逻辑结构在计算机存储空间中的存放形式称为数据的______。 答:模式#逻辑模式#概念模式 (3) 若按功能划分,软件测试的方法通常分为白盒测试方法和______测试方法。 答:黑盒 (4) 如果一个工人可管理多个设施,而一个设施只被一个工人管理,则实体"工人"与实体"设备"之间存在______联系。 答:一对多 #1:N#1:n (5
  3. 所属分类:C

    • 发布日期:2009-11-20
    • 文件大小:364544
    • 提供者:ym1030
  1. OCL的教程(对象约束语言)

  2. Object Contraint Language OCL是一种用于施加在指定的模型元素上约束的语言。OCL表达式以附加在模型元素上的条件和限制的形式来指定规则。这包括附加在模型元素上的不变量或者约束的表达式,附加在操作和方法上的前置和后置条件,监护条件,以及模型元素之间的导航
  3. 所属分类:专业指导

    • 发布日期:2009-11-23
    • 文件大小:65536
    • 提供者:absolutelies
  1. 数据库SQL语言自学成才

  2. 第一周概貌............................................................................................................................. 16 从这里开始.............................................................................................................
  3. 所属分类:其它

    • 发布日期:2010-02-19
    • 文件大小:2097152
    • 提供者:crystalxyy
  1. C# 语言规范 作者Scott Wiltamuth 和 Anders Hejlsberg

  2. C# 语言规目录 C# 语言规范 1 目录 2 1. 介绍 17 1.1 开始 18 1.2 类型 19 1.2.1 预定义类型 22 1.2.2 转换 24 1.2.3 数组类型 25 1.2.4 类型系统统一化 28 1.3 变量和参数 29 1.4 自动内存管理 34 1.5 表达式 37 1.6 语句 38 1.7 类 42 1.7.1 常数 45 1.7.2 字段 46 1.7.3 方法 48 1.7.4 属性 50 1.7.5 事件 51 1.7.6 运算符 53 1.7.7 索引
  3. 所属分类:C#

    • 发布日期:2010-05-17
    • 文件大小:2097152
    • 提供者:augstrive
  1. UML与系统分析设计

  2. 第1章 基础知识 1.1 软件开发方法概述 1.1.1 软件生命周期法 1.1.2 原型法 1.1.3 面向对象技术 1.1.4 面向对象的软件开发语言与工具 1.2 面向对象的系统分析与设计 1.2.1 面向对象的主要概念 1.2.2 面向对象的系统分析与设计方法 1.3 UML概述 1.3.1 UML简史 1.3.2 UML概貌 1.3.3 UML的特点和用途 第2章 面向对象的软件开发过程 2.1 Rational统一过程 2.1.1 项目开发阶段 2.1.2 过程成分 2.1.3 螺旋
  3. 所属分类:Java

    • 发布日期:2010-05-28
    • 文件大小:7340032
    • 提供者:haitang357
  1. UML建模图解教程.pdf

  2. 第1章 UML概述 1.1 统一建模语言 1.1.1 什么是UML 1.1.2 UML的发展 1.2 UML静态模型图 1.2.1 类图 1.2.2 对象图 1.2.3 组件图 1.2.4 部署图 1.3 UML动态模型图 1.3.1 用例图 1.3.2 序列图 1.3.3 协作图 1.3.4 状态图 1.3.5 活动图 1.4 UML2.0中的新图 1.4.1 组成结构图 1.4.2 交互纵览图 1.4.3 计时图 1.4.4 包图 1.5 建模技术 1.5.1 为什么需要建模 1.5.2
  3. 所属分类:Java

    • 发布日期:2010-05-31
    • 文件大小:15728640
    • 提供者:haitang357
  1. UML参考手册.pdf

  2. UML是一种用于对软件密集型系统进行可视化、详述、构造和文档化的建模语言,主要适用于分析与设计阶段的系统建模。UML最主要的特点是表达能力丰富。因为它从各种OOA&D方法中吸取了大量的概念,并在“UML语义”、“UML表示法指南”、“对象约束语言规约”等UML文献中对这些概念的语义、图形表示法和使用规则作了完整而详细的定义。可以说,UML对系统模型的表达能力超出了以往任何一种OOA&D方法。当然,随之而来的问题是,它的复杂性也超出了以往任何一种方法。
  3. 所属分类:专业指导

    • 发布日期:2010-06-29
    • 文件大小:2097152
    • 提供者:fenyuxiao
  1. Object Constraint Language

  2. 对象约束语言(Object Constraint Language,OCL)是一种用于软件建模的建模语言,它被定义为一种标准加入到UML中去。它是基于集合论和三值Kleene逻辑的形式化语言。它是一种文本性的规格说明语言,但是没有传统语言的复杂性。设计OCL语言的目的就是在提高UML规格说明形式化程度的同时又能被编程人员乐意接受。OCL表达式没有副作用,它只能说明系统状态的改变,而不能改变系统的状态
  3. 所属分类:专业指导

    • 发布日期:2010-09-14
    • 文件大小:3145728
    • 提供者:yehmily
  1. C#_语言规范_4.0_中文版

  2. C# 语言规范 版本 4.0 目录 1. 简介 1 1.1 Hello world 1 1.2 程序结构 2 1.3 类型和变量 3 1.4 表达式 6 1.5 语句 8 1.6 类和对象 12 1.6.1 成员 12 1.6.2 可访问性 13 1.6.3 类型参数 13 1.6.4 基类 14 1.6.5 字段 14 1.6.6 方法 15 1.6.6.1 参数 15 1.6.6.2 方法体和局部变量 17 1.6.6.3 静态方法和实例方法 17 1.6.6.4 虚方法、重写方法和抽象方
  3. 所属分类:C#

    • 发布日期:2010-10-12
    • 文件大小:3145728
    • 提供者:hanye_911
  1. 面向对象系统分析与设计课件及复习资料

  2. 面向对象系统分析与设计课件及复习资料 为老师上课用课件和复习指导 内容包括: 1.3 uml概述 1.3.1 uml简史 1.3.2 uml概貌 1.3.3 uml的特点和用途 第2章 面向对象的软件开发过程 2.1 rational统一过程 2.1.1 项目开发阶段 2.1.2 过程成分 2.1.3 螺旋上升式开发 2.1.4 rup过程产物 2.1.5 rup的特点 . 2. 2 项目开端阶段 2.3 精化阶段 2.3.1 问题领域分析 2. 3.2 建立系统架构 2.3.3 开发风险处理
  3. 所属分类:专业指导

    • 发布日期:2011-12-05
    • 文件大小:417792
    • 提供者:bosheng030609
  1. OCL 官方正式文档

  2. OCL formal 官方 对象约束语言 This clause introduces the Object Constraint Language (OCL), a formal language used to describe expressions on UML models. These expressions typically specify invariant conditions that must hold for the system being modeled or q
  3. 所属分类:其它

    • 发布日期:2013-12-18
    • 文件大小:2097152
    • 提供者:mahongtian
  1. UML基础与Rose建模教程_1分.pdf

  2.   《UML基础与Rose建模教程》不仅适合初学者学习UML建模的相关知识,也适用于从事软件开发的工程人员学习和参考,或者作为高等院校计算机和软件相关专业的教堂用书或参考书。 内容简介   《UML基础与Rose建模教程》全面,详细地介绍了 UML 的基础知识和Rational Rose的使用方法,并通过4个综合性的案例,展示了使用UML和Rose进行软件建模的具体方法和步骤。全书共分20章,前4章是基础部分,介绍了UML和Rose的基础知识;第5章到第13章是《UML基础与Rose建模教程》
  3. 所属分类:Web开发

    • 发布日期:2015-11-03
    • 文件大小:19922944
    • 提供者:celestialtao
  1. 最新版( Object Constraint Language Specification Version 2.3.1(formal-12-01-01)

  2. 最新版 OCL( Object Constraint Language)(对象约束语言)MDA关键技术之一
  3. 所属分类:其它

    • 发布日期:2018-05-07
    • 文件大小:2097152
    • 提供者:yes00018
  1. Ruby面向对象编程中类的方法与类的扩展

  2. 类与方法是面向对象编程语言中的典型特性,方法的概念与函数基本上相同,只不过类方法会受到类作用域的约束,这里我们就简单来看一下Ruby面向对象编程中类的方法与类的扩展
  3. 所属分类:其它

    • 发布日期:2020-09-21
    • 文件大小:31744
    • 提供者:weixin_38559569
  1. 使用对象约束语言(OCL)生成更精确的域模型

  2. 为了构建更精确的模型,尽可能接近实际的相关业务,我们通常需要添加约束。为了显示怎样构建有用和精确的域模型,本文介绍了如何使用IBM?Rational?SoftwareArchitect以及EMF确认框架,以UML和OCL写成的域模型的确认过程。软件建模在传统上成为产生图表的一个同义词。大多数的模型由一系列的序列和箭头组成。这样的模型所传递的信息,有一种趋势会不完整,不规范,不精确,有时甚至会不稳定。因此,软件建模的一个目标,就是创建一个精确且足够规范的模型。让我们拿系谱树形结构作为一个范例,从图
  3. 所属分类:其它

    • 发布日期:2021-03-04
    • 文件大小:772096
    • 提供者:weixin_38657835
  1. 使用对象约束语言(OCL)生成更精确的域模型

  2. 为了构建更精确的模型,尽可能接近实际的相关业务,我们通常需要添加约束。为了显示怎样构建有用和精确的域模型,本文介绍了如何使用IBM?Rational?SoftwareArchitect以及EMF确认框架,以UML和OCL写成的域模型的确认过程。软件建模在传统上成为产生图表的一个同义词。大多数的模型由一系列的序列和箭头组成。这样的模型所传递的信息,有一种趋势会不完整,不规范,不精确,有时甚至会不稳定。因此,软件建模的一个目标,就是创建一个精确且足够规范的模型。 让我们拿系谱树形结构作为一个范例,从
  3. 所属分类:其它

    • 发布日期:2021-01-31
    • 文件大小:753664
    • 提供者:weixin_38639471
« 12 3 4 5 6 7 8 9 10 ... 20 »