点数信息
www.dssz.net
注册会员
|
设为首页
|
加入收藏夹
您好,欢迎光临本网站!
[请登录]
!
[注册会员]
!
首页
移动开发
云计算
大数据
数据库
游戏开发
人工智能
网络技术
区块链
操作系统
模糊查询
热门搜索:
源码
Android
整站
插件
识别
p2p
游戏
算法
更多...
在线客服QQ:632832888
当前位置:
资源下载
搜索资源 - 对象约束语言
下载资源分类
移动开发
开发技术
课程资源
网络技术
操作系统
安全技术
数据库
行业
服务器应用
存储
信息化
考试认证
云计算
大数据
跨平台
音视频
游戏开发
人工智能
区块链
在结果中搜索
所属系统
Windows
Linux
FreeBSD
Unix
Dos
PalmOS
WinCE
SymbianOS
MacOS
Android
开发平台
Visual C
Visual.Net
Borland C
CBuilder
Dephi
gcc
VBA
LISP
IDL
VHDL
Matlab
MathCAD
Flash
Xcode
Android STU
LabVIEW
开发语言
C/C++
Pascal
ASM
Java
PHP
Basic/ASP
Perl
Python
VBScript
JavaScript
SQL
FoxBase
SHELL
E语言
OC/Swift
文件类型
源码
程序
CHM
PDF
PPT
WORD
Excel
Access
HTML
Text
资源分类
搜索资源列表
C#语言参考C#语言参考
目录 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
所属分类:
C#
发布日期:2009-05-07
文件大小:1048576
提供者:
xiang722
UML参考手册(UML建模)
UML是一种用于对软件密集型系统进行可视化、详述、构造和文档化的建模语言,主要适用于分析与设计阶段的系统建模。UML最主要的特点是表达能力丰富。因为它从各种OOA&D方法中吸取了大量的概念,并在“UML语义”、“UML表示法指南”、“对象约束语言规约”等UML文献中对这些概念的语义、图形表示法和使用规则作了完整而详细的定义。可以说,UML对系统模型的表达能力超出了以往任何一种OOA&D方法。当然,随之而来的问题是,它的复杂性也超出了以往任何一种方法。
所属分类:
专业指导
发布日期:2009-06-02
文件大小:1048576
提供者:
song_0521
面向对象与UML资料
面向对象与UML 第一部分 软件开发活动 7 第一章 结构化的分析与设计 8 第一节 模型图 8 业务流程图 8 数据流图 11 功能结构图 12 功能树 13 网络结构图 14 程序流程图 15 第二节 需求分析 15 需求分析的任务 15 需求分析的步骤 15 需求分析的原则 16 需求分析的方法 16 第三节 概要设计 16 概要设计任务 17 概要设计过程 17 一些概念 17 概要设计原则 17 概要设计方法 17 第四节 详细设计 18 详细设计的任务 18 详细设计的原则 18
所属分类:
C#
发布日期:2009-06-06
文件大小:2097152
提供者:
dillionjoy
基于OCL文法的测试用例自动生成方法研究
随着软件测试技术的飞速发展, 很多自动生成和执行测试用例的方法的技术已经发展起来。对于自动生成测试用例 约束的形式化定义也有很多方法, 其中, 对象约束语言(OCL)就是其中最具代表性的。
所属分类:
专业指导
发布日期:2009-09-19
文件大小:130048
提供者:
wkkys
二级C语言公共基础知识
(内有最新习题和ppt教程) 最新二级公共基础知识填空40题+80选择题 (1) 算法的复杂度主要包括______复杂度和空间复杂度。 答:时间 (2) 数据的逻辑结构在计算机存储空间中的存放形式称为数据的______。 答:模式#逻辑模式#概念模式 (3) 若按功能划分,软件测试的方法通常分为白盒测试方法和______测试方法。 答:黑盒 (4) 如果一个工人可管理多个设施,而一个设施只被一个工人管理,则实体"工人"与实体"设备"之间存在______联系。 答:一对多 #1:N#1:n (5
所属分类:
C
发布日期:2009-11-20
文件大小:364544
提供者:
ym1030
OCL的教程(对象约束语言)
Object Contraint Language OCL是一种用于施加在指定的模型元素上约束的语言。OCL表达式以附加在模型元素上的条件和限制的形式来指定规则。这包括附加在模型元素上的不变量或者约束的表达式,附加在操作和方法上的前置和后置条件,监护条件,以及模型元素之间的导航
所属分类:
专业指导
发布日期:2009-11-23
文件大小:65536
提供者:
absolutelies
数据库SQL语言自学成才
第一周概貌............................................................................................................................. 16 从这里开始.............................................................................................................
所属分类:
其它
发布日期:2010-02-19
文件大小:2097152
提供者:
crystalxyy
C# 语言规范 作者Scott Wiltamuth 和 Anders Hejlsberg
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 索引
所属分类:
C#
发布日期:2010-05-17
文件大小:2097152
提供者:
augstrive
UML与系统分析设计
第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 螺旋
所属分类:
Java
发布日期:2010-05-28
文件大小:7340032
提供者:
haitang357
UML建模图解教程.pdf
第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
所属分类:
Java
发布日期:2010-05-31
文件大小:15728640
提供者:
haitang357
UML参考手册.pdf
UML是一种用于对软件密集型系统进行可视化、详述、构造和文档化的建模语言,主要适用于分析与设计阶段的系统建模。UML最主要的特点是表达能力丰富。因为它从各种OOA&D方法中吸取了大量的概念,并在“UML语义”、“UML表示法指南”、“对象约束语言规约”等UML文献中对这些概念的语义、图形表示法和使用规则作了完整而详细的定义。可以说,UML对系统模型的表达能力超出了以往任何一种OOA&D方法。当然,随之而来的问题是,它的复杂性也超出了以往任何一种方法。
所属分类:
专业指导
发布日期:2010-06-29
文件大小:2097152
提供者:
fenyuxiao
Object Constraint Language
对象约束语言(Object Constraint Language,OCL)是一种用于软件建模的建模语言,它被定义为一种标准加入到UML中去。它是基于集合论和三值Kleene逻辑的形式化语言。它是一种文本性的规格说明语言,但是没有传统语言的复杂性。设计OCL语言的目的就是在提高UML规格说明形式化程度的同时又能被编程人员乐意接受。OCL表达式没有副作用,它只能说明系统状态的改变,而不能改变系统的状态
所属分类:
专业指导
发布日期:2010-09-14
文件大小:3145728
提供者:
yehmily
C#_语言规范_4.0_中文版
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 虚方法、重写方法和抽象方
所属分类:
C#
发布日期:2010-10-12
文件大小:3145728
提供者:
hanye_911
面向对象系统分析与设计课件及复习资料
面向对象系统分析与设计课件及复习资料 为老师上课用课件和复习指导 内容包括: 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 开发风险处理
所属分类:
专业指导
发布日期:2011-12-05
文件大小:417792
提供者:
bosheng030609
OCL 官方正式文档
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
所属分类:
其它
发布日期:2013-12-18
文件大小:2097152
提供者:
mahongtian
UML基础与Rose建模教程_1分.pdf
《UML基础与Rose建模教程》不仅适合初学者学习UML建模的相关知识,也适用于从事软件开发的工程人员学习和参考,或者作为高等院校计算机和软件相关专业的教堂用书或参考书。 内容简介 《UML基础与Rose建模教程》全面,详细地介绍了 UML 的基础知识和Rational Rose的使用方法,并通过4个综合性的案例,展示了使用UML和Rose进行软件建模的具体方法和步骤。全书共分20章,前4章是基础部分,介绍了UML和Rose的基础知识;第5章到第13章是《UML基础与Rose建模教程》
所属分类:
Web开发
发布日期:2015-11-03
文件大小:19922944
提供者:
celestialtao
最新版( Object Constraint Language Specification Version 2.3.1(formal-12-01-01)
最新版 OCL( Object Constraint Language)(对象约束语言)MDA关键技术之一
所属分类:
其它
发布日期:2018-05-07
文件大小:2097152
提供者:
yes00018
Ruby面向对象编程中类的方法与类的扩展
类与方法是面向对象编程语言中的典型特性,方法的概念与函数基本上相同,只不过类方法会受到类作用域的约束,这里我们就简单来看一下Ruby面向对象编程中类的方法与类的扩展
所属分类:
其它
发布日期:2020-09-21
文件大小:31744
提供者:
weixin_38559569
使用对象约束语言(OCL)生成更精确的域模型
为了构建更精确的模型,尽可能接近实际的相关业务,我们通常需要添加约束。为了显示怎样构建有用和精确的域模型,本文介绍了如何使用IBM?Rational?SoftwareArchitect以及EMF确认框架,以UML和OCL写成的域模型的确认过程。软件建模在传统上成为产生图表的一个同义词。大多数的模型由一系列的序列和箭头组成。这样的模型所传递的信息,有一种趋势会不完整,不规范,不精确,有时甚至会不稳定。因此,软件建模的一个目标,就是创建一个精确且足够规范的模型。让我们拿系谱树形结构作为一个范例,从图
所属分类:
其它
发布日期:2021-03-04
文件大小:772096
提供者:
weixin_38657835
使用对象约束语言(OCL)生成更精确的域模型
为了构建更精确的模型,尽可能接近实际的相关业务,我们通常需要添加约束。为了显示怎样构建有用和精确的域模型,本文介绍了如何使用IBM?Rational?SoftwareArchitect以及EMF确认框架,以UML和OCL写成的域模型的确认过程。软件建模在传统上成为产生图表的一个同义词。大多数的模型由一系列的序列和箭头组成。这样的模型所传递的信息,有一种趋势会不完整,不规范,不精确,有时甚至会不稳定。因此,软件建模的一个目标,就是创建一个精确且足够规范的模型。 让我们拿系谱树形结构作为一个范例,从
所属分类:
其它
发布日期:2021-01-31
文件大小:753664
提供者:
weixin_38639471
«
1
2
3
4
5
6
7
8
9
10
...
20
»