点数信息
www.dssz.net
注册会员
|
设为首页
|
加入收藏夹
您好,欢迎光临本网站!
[请登录]
!
[注册会员]
!
首页
移动开发
云计算
大数据
数据库
游戏开发
人工智能
网络技术
区块链
操作系统
模糊查询
热门搜索:
源码
Android
整站
插件
识别
p2p
游戏
算法
更多...
在线客服QQ:632832888
当前位置:
资源下载
搜索资源 - z语言
下载资源分类
移动开发
开发技术
课程资源
网络技术
操作系统
安全技术
数据库
行业
服务器应用
存储
信息化
考试认证
云计算
大数据
跨平台
音视频
游戏开发
人工智能
区块链
在结果中搜索
所属系统
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
资源分类
搜索资源列表
移动Agent系统的Z语言形式化描述
移动Agent系统的Z语言形式化描述,形式化语言的简介,Z语言的介绍以及多ANGENT系统的描述
所属分类:
专业指导
发布日期:2009-05-13
文件大小:286720
提供者:
iajj_ren
Z语言--一种形式化描述语言
一种形式化描述语言,用于建模!是一种基于数学的形式化描述语言!
所属分类:
专业指导
发布日期:2009-10-14
文件大小:663552
提供者:
ddzddggz
Z语言--形式化分析
Z语言,进行形式化分析的利器之一,可与Petri网共用,可用于软件的整体安全性设计
所属分类:
专业指导
发布日期:2009-12-11
文件大小:5242880
提供者:
dongbeixw
Z Notation
Z语言手册,英文 Developed by members of the Z Standards Panel
所属分类:
其它
发布日期:2010-07-22
文件大小:1048576
提供者:
hanchongjsr
ZNotation_ISO_IEC_13568_2002(E)
z语言 国际标准,z语言是基于有类型集合论的描述状态转化的语言。比UML还严谨的语言。高级软件工程师必须掌握。
所属分类:
专业指导
发布日期:2010-10-14
文件大小:1048576
提供者:
morgan_yuan
软件工程形式化z语言辅助工具
z语言辅助工具,专业的z开发工具,软件工程形式化z语言专用。
所属分类:
其它
发布日期:2011-06-28
文件大小:8388608
提供者:
tianma112
Formal Specification and Documentation using Z: A Case Study Approach
书名:Formal Specification and Documentation using Z: A Case Study Approach 作者:Jonathan Bowen 介绍:形式化规格说明Z语言。建立在数理逻辑基础上的,可验证的一种软件工程方法。
所属分类:
专业指导
发布日期:2011-07-29
文件大小:286720
提供者:
destinyichen
Z语言 最广泛的一种形式化描述语言
Z语言是一种以一阶谓词演算为主要理论基础的规约语言,是一种功能性语言
所属分类:
专业指导
发布日期:2012-01-10
文件大小:4194304
提供者:
jiangdmdr
Z语言是由牛津大学程序设计研究小组开发的一种形式语言
Z语言是由牛津大学程序设计研究小组开发的一种形式语言
所属分类:
专业指导
发布日期:2012-01-10
文件大小:921600
提供者:
jiangdmdr
Z语言的实时扩展及应用
在本文,我们归纳了Z实时扩展,提出了分类标准,一类是被称为集成的扩 展方法,它基于形式化说明语言z和其它形式化方法的集成,在这里由其它形式 化方法提供表示动态行为的结构;另~类称之为非集成的扩展方法则只使用z的 语义,而由其它形式化方法对时间约束性和并发进行的描述则被转换成z规格说 明,完成了上述分析之后实际就给出了一个对z进行实时扩展的通用方法
所属分类:
IT管理
发布日期:2012-10-09
文件大小:2097152
提供者:
xmqs0503
从过程描述语言到Z语言
摘 要 语言是一种得到广泛应用的形式化规格语言 语言可以方便地描述系统操作的数据转换却很难描述系统 操作间的时序关系而过程描述语言可以方便地描述时序关系本文利用时序状态转换系统作为中介提出一种把过程 描述语言的项转换成 规格的机械算法利用这一算法 语言也能方便地描述时序关系本文还通过实例说明了该算 法在多视点需求工程中的应用
所属分类:
其它
发布日期:2012-10-09
文件大小:219136
提供者:
xmqs0503
z-usersguide.pdf
z语言的标准技术文档,适合有一定基础的进行深入的学习
所属分类:
其它
发布日期:2012-10-26
文件大小:468992
提供者:
tellgrass
形式化语言 z语言 缪淮扣
z语言 缪淮扣 上海大学 形式化语言 用于软件工程的各个阶段
所属分类:
专业指导
发布日期:2008-09-22
文件大小:7340032
提供者:
syqust
软件工程语言——Z
Z语言将事物的状态和行为用数学符号形式化表达的语言,常用在软件工程之中。
所属分类:
其它
发布日期:2014-06-18
文件大小:7340032
提供者:
inmydream
软件形式化方法Z语言.rar
北大裘宗燕老师的《Z语言形式化方法》,Z语言用于编写软件规范,严格的指导编码过程。
所属分类:
讲义
发布日期:2015-12-05
文件大小:3145728
提供者:
linuxtiandi0001
Z语言学习资料
Z语言的学习资料,德语英语双语的,想要德语资料的计算机学生可以考虑
所属分类:
讲义
发布日期:2016-02-26
文件大小:24117248
提供者:
kjjloveyou
形式化z语言辅助工具Z-EVES
形式化z语言辅助工具Z-EVES 进行形式化验证用
所属分类:
其它
发布日期:2008-11-26
文件大小:8388608
提供者:
cys925
形式化规约——Z语言
形式化规约,形式化方法,Z语言,主要与软件开发的形式化方法有关。
所属分类:
讲义
发布日期:2017-12-27
文件大小:906240
提供者:
panchuanggo2467
形式化语言 Z语言 博士研究生课程收集
形式化语言 Z语言 博士生课程中收集的一些关于Z语言的资料
所属分类:
专业指导
发布日期:2008-12-23
文件大小:5242880
提供者:
e06620227
软件规约方法与Z语言
软件规约方法与Z语言 软件规约方法与Z语言 软件规约方法与Z语言
所属分类:
其它
发布日期:2009-01-14
文件大小:4194304
提供者:
u010412703
«
1
2
3
4
5
6
7
8
9
10
...
39
»