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

搜索资源列表

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

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

  3. 所属分类：专业指导

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

  1. 形式化数理逻辑(课件)

  2. 形式化数理逻辑(课件)形式化数理逻辑(课件)

  3. 所属分类：专业指导

    • 发布日期：2009-05-16
    • 文件大小：518144
    • 提供者：lzq198491

  1. 基于Event_B的软件形式化需求获取方法研究

  2. 硕士论文，关于EVENT_B形式化方法的，有例子。可以看看。

  3. 所属分类：专业指导

    • 发布日期：2009-05-31
    • 文件大小：1045504
    • 提供者：zhongzhu717

  1. 软件需求的形式化转换模型.pdf

  2. 需求规范错误是软件设计错误的一大类。该文提出了一个软件需求的形式化转换模型，用来将软件需求分析直接、自动地转换为形式化描述，为需求验证提供帮助，避免软件在需求规范上可能产生的错误。

  3. 所属分类：专业指导

    • 发布日期：2009-06-25
    • 文件大小：130048
    • 提供者：bjpu_cpnet2009

  1. 软件开发中的形式化方法

  2. 基于研究的角度，讨论了在软件开发过程各阶段使用形式化方法的可能及困难，进而研究了形式化方法在理论上和应用上的能力、局限性及其产生原因，以及由此产生的对形式化方法的讨论。

  3. 所属分类：专业指导

    • 发布日期：2007-10-08
    • 文件大小：39936
    • 提供者：tonyle123

  1. P2P网络模型的形式化描述方法

  2. P2P网络模型的形式化描述方法 本资源为英文原版文献用于介绍p2p的网络模型，可以让初学者更加容易了解p2p的结够

  3. 所属分类：网络基础

    • 发布日期：2009-08-25
    • 文件大小：326656
    • 提供者：z804768186

  1. 欧洲形式化方法的课程安排

  2. 形式化方法 课程学习 可以借鉴一下，哪些比较基础，哪些比较成熟或者先进

  3. 所属分类：专业指导

    • 发布日期：2009-10-20
    • 文件大小：783360
    • 提供者：sxy62849013

  1. 基于进程演算的安全协议形式化研究

  2. 国内外形式化研究安全协议主要有基于知识与信念推理的模态逻辑方法，基于定理证明的方法和基于进程演算的方法三种。其中，进程演算对于协议的描述几乎接近协议的本身含义，可以很精确地刻划协议的运行过程。使用进程演算对安全协议分析和验证时，协议的每一个主体都被建模为一个单独的进程，这些子进程并发运行，并使用进程之间的共享通道进行同步通信，这样得到的并发系统将作为安全协议的基本模型。

  3. 所属分类：网络攻防

    • 发布日期：2009-11-19
    • 文件大小：535552
    • 提供者：oohurbert

  1. 安全协议形式化分析方法综述之一基于推理结构性方法

  2. 安全协议形式化分析方法综述之一，基于推理结构性方法，pdf文件

  3. 所属分类：专业指导

    • 发布日期：2010-01-04
    • 文件大小：560128
    • 提供者：ivylove

  1. 安全协议形式化分析方法综述之二——基于攻击结构性方法

  2. 安全协议形式化分析方法综述之二——基于攻击结构性方法，pdf文件

  3. 所属分类：专业指导

    • 发布日期：2010-01-04
    • 文件大小：1048576
    • 提供者：ivylove

  1. 本科毕业论文 基于CHAM的形式化建模方法研究

  2. 本科毕业论文 基于CHAM的形式化建模方法研究 目 录 摘 要 II 关键词 II Abstract II Key words II 1 前言 1 1.1 软件测试的基本问题 1 1.2 软件测试内容 1 1.2 软件测试的分类 1 1.2.1 白盒测试 1 1.2.2 黑盒测试 2 2 软件体系结构 2 2.1 软件体系结构测试的内容 2 2.2软件体系结构测试覆盖准侧 4 2.2.1软件体系结构级的通用质量特征 4 2.2.2体系结构的测试覆盖准则 4 2.3体系结构测试完成的标准 5 3

  3. 所属分类：其它

    • 发布日期：2010-01-13
    • 文件大小：406528
    • 提供者：macalyou

  1. 形式化方法资料

  2. 形式化方法的课件，北大裘宗燕老师的课件

  3. 所属分类：专业指导

    • 发布日期：2007-12-06
    • 文件大小：3145728
    • 提供者：happyskynet

  1. 论文《安全协议的形式化说明、设计及验证》

  2. 论文《安全协议的形式化说明、设计及验证》

  3. 所属分类：专业指导

    • 发布日期：2008-03-09
    • 文件大小：256000
    • 提供者：morre

  1. 论文《基于形式化方法的协议测试理论》

  2. 论文《基于形式化方法的协议测试理论》

  3. 所属分类：其它

    • 发布日期：2008-03-09
    • 文件大小：398336
    • 提供者：morre

  1. 论文《形式化的协议性能测试框架》

  2. 论文《形式化的协议性能测试框架》

  3. 所属分类：其它

    • 发布日期：2008-03-09
    • 文件大小：282624
    • 提供者：morre

  1. 论文《软件开发中的形式化方法》

  2. 论文《软件开发中的形式化方法》

  3. 所属分类：专业指导

    • 发布日期：2008-03-09
    • 文件大小：39936
    • 提供者：morre

  1. 论文《用于通信网络协议开发的形式化方法》

  2. 论文《用于通信网络协议开发的形式化方法》

  3. 所属分类：网络基础

    • 发布日期：2008-03-09
    • 文件大小：117760
    • 提供者：morre

  1. 第4章 形式化说明技术

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

  3. 所属分类：专业指导

    • 发布日期：2011-01-10
    • 文件大小：356352
    • 提供者：xiao_daidai

  1. 形式化方法--北大教学ppt--很经典！

  2. 形式化方法--北大教学ppt--很经典！共分七章讲解，内容全了。有兴趣的朋友可以看看。

  3. 所属分类：专业指导

    • 发布日期：2011-01-10
    • 文件大小：2097152
    • 提供者：xiao_daidai

  1. 软件形式化 期中试卷

  2. 苏州大学 计算机科学与技术学院 软件工程 软件形式化 期中试卷 很具有参考性 希望对大家有帮助

  3. 所属分类：专业指导

    • 发布日期：2011-01-23
    • 文件大小：38912
    • 提供者：qcaisuda
« 12 3 4 5 6 7 8 9 10 ... 47 »