下载 >  开发技术 >  其它 > 形式化z语言辅助工具Z-EVES

形式化z语言辅助工具Z-EVES 评分:

形式化z语言辅助工具Z-EVES 进行形式化验证用
2008-11-26 上传大小:8.63MB
立即下载 开通VIP
分享
收藏 (1) 举报

评论 共19条

wangzhicheng2013 it is very good book
2018-01-28
回复
zzzzzzzggg 经典,高级程序员用!
2015-11-27
回复
bd2569 这个用到了,非常感谢
2015-10-19
回复
baidu_30591567 64位WIN10,好像闪退了……换了Linux系统可以正常运行
2015-08-15
回复
juanjuanguai 很好!官网已经停止发布了,多亏在这里还能找到,很有帮助!
2015-05-22
回复
brucejoo 下载了,但是对z语言不熟,暂时不知道怎么用。。。
2015-04-04
回复
u012978266 太好了,找了很久才找到,太感谢了,
2015-03-02
回复
rockcyz python 2.7环境下运行不了pyw? 命令行的可以运行
2015-01-05
回复
abc660612 还行吧 有点复杂
2014-08-11
回复
wutongweiyu 貌似在装python的时候出了点问题,所以没能安装上,在国外ftp服务器上找到更合适的了,还是感谢分享~
2014-04-24
回复
形式化规约——Z语言

形式化规约,形式化方法,Z语言,主要与软件开发的形式化方法有关。

立即下载
Z语言--一种形式化描述语言

一种形式化描述语言,用于建模!是一种基于数学的形式化描述语言!

立即下载
软件形式化方法Z语言.rar

北大裘宗燕老师的《Z语言形式化方法》,Z语言用于编写软件规范,严格的指导编码过程。

立即下载
移动Agent系统的Z语言形式化描述

移动Agent系统的Z语言形式化描述,形式化语言的简介,Z语言的介绍以及多ANGENT系统的描述

立即下载
形式化语言 Z语言 博士研究生课程收集

形式化语言 Z语言 博士生课程中收集的一些关于Z语言的资料

立即下载
形式化语言 z语言 缪淮扣

z语言 缪淮扣 上海大学 形式化语言 用于软件工程的各个阶段

立即下载
形式化语言 USING IN Z LANGUAGE

This book contains enough material for three courses of study: a course on mathematics for software engineering, a course on formal speci cation, and a course on re nement. This material can be adapted in a number of ways, to support other courses or as part of a programme of self-paced learning.

立即下载
软件工程语言——Z

Z语言将事物的状态和行为用数学符号形式化表达的语言,常用在软件工程之中。

立即下载
软件规约方法与Z语言

软件规约方法与Z语言 软件规约方法与Z语言 软件规约方法与Z语言

立即下载
软件形式化方法期末考试复习要点

软件工程形式化方法,Z语言,期末考试复习要点。包括各个章节的知识点可经典例题。

立即下载
Z 语言: 规格说明语言

Z语言是一种以一阶谓词演算为主要理论基础的规约语言,是一种功能性语言。形式化描述语言Z指的是著名数学家Zermelo,它是目前使用最广泛的一种形式化描述语言,在软件产业的一些大型项目中已经获得成功的应用,

立即下载
tranzit Z语言 编写工具

将事物的状态和行为用数学符号形式化表达的语言,为编写计算机程序和验证计算机程序的正确性提供依据,是软件工程中编码之前的规格说明语言。   Z语言是一种以一阶谓词演算为主要理论基础的规约语言,是一种功能性语言。形式化描述语言Z指的是著名数学家Zermelo,它是目前使用最广泛的一种形式化描述语言,在软件产业的一些大型项目中已经获得成功的应用,Z以带等词的一阶谓词逻辑ZF(Zermelo-Fraenkel,蔡梅罗-弗兰科尔)公理集合论为主要数学基础。在Z中有两种语言:数学语言和模式(Schema)语言。数学语言用来描述系统的各种特征:对象及其之间的关系。模式语言是一种半图形化的语言,它用来构造、组

立即下载
Formal Specification and Documentation using Z: A Case Study Approach

书名:Formal Specification and Documentation using Z: A Case Study Approach 作者:Jonathan Bowen 介绍:形式化规格说明Z语言。建立在数理逻辑基础上的,可验证的一种软件工程方法。

立即下载
第4章 形式化说明技术

第4章 形式化说明技术 4.1 概述 4.2 有穷状态机 4.3 Petri网 4.4 Z语言 4.5 小结 习题

立即下载
Z语言学习资料

Z语言的学习资料,德语英语双语的,想要德语资料的计算机学生可以考虑

立即下载
Z语言的实时扩展及应用

在本文,我们归纳了Z实时扩展,提出了分类标准,一类是被称为集成的扩 展方法,它基于形式化说明语言z和其它形式化方法的集成,在这里由其它形式 化方法提供表示动态行为的结构;另~类称之为非集成的扩展方法则只使用z的 语义,而由其它形式化方法对时间约束性和并发进行的描述则被转换成z规格说 明,完成了上述分析之后实际就给出了一个对z进行实时扩展的通用方法

立即下载
ZNotation_ISO_IEC_13568_2002(E)

z语言 国际标准,z语言是基于有类型集合论的描述状态转化的语言。比UML还严谨的语言。高级软件工程师必须掌握。

立即下载
Z语言:谓词演算为主要理论基础的规约语言

  将事物的状态和行为用数学符号形式化表达的语言,为编写计算机程序和验证计算机程序的正确性提供依据,是软件工程中编码之前的规格说明语言。   Z语言是一种以一阶谓词演算为主要理论基础的规约语言,是一种功能性语言。形式化描述语言Z指的是著名数学家Zermelo,它是目前使用最广泛的一种形式化描述语言,在软件产业的一些大型项目中已经获得成功的应用,Z以带等词的一阶谓词逻辑ZF(Zermelo-Fraenkel,蔡梅罗-弗兰科尔)公理集合论为主要数学基础。在Z中有两种语言:数学语言和模式(Schema)语言。数学语言用来描述系统的各种特征:对象及其之间的关系。模式语言是一种半图形化的语言,它用来构

立即下载
17年山东大学研究生课程 软件工程 课件

规约语言、Z语言、程序正确性证明、RSL语言等相关课程的课件

立即下载

热点文章

img

spring mvc+mybatis+mysql+maven+bootstrap 整合实现增删查改简单实例.zip

资源所需积分/C币 当前拥有积分 当前拥有C币
5 0 0
点击完成任务获取下载码
输入下载码
为了良好体验,不建议使用迅雷下载
img

形式化z语言辅助工具Z-EVES

会员到期时间: 剩余下载个数: 剩余C币: 剩余积分:0
为了良好体验,不建议使用迅雷下载
VIP下载
您今日下载次数已达上限(为了良好下载体验及使用,每位用户24小时之内最多可下载20个资源)

积分不足!

资源所需积分/C币 当前拥有积分
您可以选择
开通VIP
4000万
程序员的必选
600万
绿色安全资源
现在开通
立省522元
或者
购买C币兑换积分 C币抽奖
img

资源所需积分/C币 当前拥有积分 当前拥有C币
5 4 45
为了良好体验,不建议使用迅雷下载
确认下载
img

资源所需积分/C币 当前拥有积分 当前拥有C币
3 0 0
为了良好体验,不建议使用迅雷下载
VIP和C币套餐优惠
img

资源所需积分/C币 当前拥有积分 当前拥有C币
5 4 45
您的积分不足,将扣除 10 C币
为了良好体验,不建议使用迅雷下载
确认下载
下载
您还未下载过该资源
无法举报自己的资源

兑换成功

你当前的下载分为234开始下载资源
你还不是VIP会员
开通VIP会员权限,免积分下载
立即开通

你下载资源过于频繁,请输入验证码

您因违反CSDN下载频道规则而被锁定帐户,如有疑问,请联络:webmaster@csdn.net!

举报

若举报审核通过,可返还被扣除的积分

  • 举报人:
  • 被举报人:
  • *类型:
    • *投诉人姓名:
    • *投诉人联系方式:
    • *版权证明:
  • *详细原因: