注册会员 | 设为首页 | 加入收藏夹
您好，欢迎光临本网站！[请登录] ！[注册会员]！  

搜索资源列表

  1. 移动Agent系统的Z语言形式化描述

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

  3. 所属分类：专业指导

    • 发布日期：2009-05-13
    • 文件大小：286720
    • 提供者：iajj_ren

  1. Z语言--一种形式化描述语言

  2. 一种形式化描述语言，用于建模！是一种基于数学的形式化描述语言！

  3. 所属分类：专业指导

    • 发布日期：2009-10-14
    • 文件大小：663552
    • 提供者：ddzddggz

  1. Z语言--形式化分析

  2. Z语言，进行形式化分析的利器之一，可与Petri网共用，可用于软件的整体安全性设计

  3. 所属分类：专业指导

    • 发布日期：2009-12-11
    • 文件大小：5242880
    • 提供者：dongbeixw

  1. Z Notation

  2. Z语言手册，英文 Developed by members of the Z Standards Panel

  3. 所属分类：其它

    • 发布日期：2010-07-22
    • 文件大小：1048576
    • 提供者：hanchongjsr

  1. ZNotation_ISO_IEC_13568_2002(E)

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

  3. 所属分类：专业指导

    • 发布日期：2010-10-14
    • 文件大小：1048576
    • 提供者：morgan_yuan

  1. 软件工程形式化z语言辅助工具

  2. z语言辅助工具，专业的z开发工具，软件工程形式化z语言专用。

  3. 所属分类：其它

    • 发布日期：2011-06-28
    • 文件大小：8388608
    • 提供者：tianma112

  1. Formal Specification and Documentation using Z: A Case Study Approach

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

  3. 所属分类：专业指导

    • 发布日期：2011-07-29
    • 文件大小：286720
    • 提供者：destinyichen

  1. Z语言 最广泛的一种形式化描述语言

  2. Z语言是一种以一阶谓词演算为主要理论基础的规约语言,是一种功能性语言

  3. 所属分类：专业指导

    • 发布日期：2012-01-10
    • 文件大小：4194304
    • 提供者：jiangdmdr

  1. Z语言是由牛津大学程序设计研究小组开发的一种形式语言

  2. Z语言是由牛津大学程序设计研究小组开发的一种形式语言

  3. 所属分类：专业指导

    • 发布日期：2012-01-10
    • 文件大小：921600
    • 提供者：jiangdmdr

  1. Z语言的实时扩展及应用

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

  3. 所属分类：IT管理

    • 发布日期：2012-10-09
    • 文件大小：2097152
    • 提供者：xmqs0503

  1. 从过程描述语言到Z语言

  2. 摘 要 语言是一种得到广泛应用的形式化规格语言 语言可以方便地描述系统操作的数据转换却很难描述系统 操作间的时序关系而过程描述语言可以方便地描述时序关系本文利用时序状态转换系统作为中介提出一种把过程 描述语言的项转换成 规格的机械算法利用这一算法 语言也能方便地描述时序关系本文还通过实例说明了该算 法在多视点需求工程中的应用

  3. 所属分类：其它

    • 发布日期：2012-10-09
    • 文件大小：219136
    • 提供者：xmqs0503

  1. z-usersguide.pdf

  2. z语言的标准技术文档，适合有一定基础的进行深入的学习

  3. 所属分类：其它

    • 发布日期：2012-10-26
    • 文件大小：468992
    • 提供者：tellgrass

  1. 形式化语言 z语言 缪淮扣

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

  3. 所属分类：专业指导

    • 发布日期：2008-09-22
    • 文件大小：7340032
    • 提供者：syqust

  1. 软件工程语言——Z

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

  3. 所属分类：其它

    • 发布日期：2014-06-18
    • 文件大小：7340032
    • 提供者：inmydream

  1. 软件形式化方法Z语言.rar

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

  3. 所属分类：讲义

    • 发布日期：2015-12-05
    • 文件大小：3145728
    • 提供者：linuxtiandi0001

  1. Z语言学习资料

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

  3. 所属分类：讲义

    • 发布日期：2016-02-26
    • 文件大小：24117248
    • 提供者：kjjloveyou

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

  2. 形式化z语言辅助工具Z-EVES 进行形式化验证用

  3. 所属分类：其它

    • 发布日期：2008-11-26
    • 文件大小：8388608
    • 提供者：cys925

  1. 形式化规约——Z语言

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

  3. 所属分类：讲义

    • 发布日期：2017-12-27
    • 文件大小：906240
    • 提供者：panchuanggo2467

  1. 形式化语言 Z语言 博士研究生课程收集

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

  3. 所属分类：专业指导

    • 发布日期：2008-12-23
    • 文件大小：5242880
    • 提供者：e06620227

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

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

  3. 所属分类：其它

    • 发布日期：2009-01-14
    • 文件大小：4194304
    • 提供者：u010412703
« 12 3 4 5 6 7 8 9 10 ... 39 »