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

搜索资源列表

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

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

  3. 所属分类：专业指导

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

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

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

  3. 所属分类：专业指导

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

  1. 形式化方法资料

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

  3. 所属分类：专业指导

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

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

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

  3. 所属分类：其它

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

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

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

  3. 所属分类：专业指导

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

  1. 软件形式化方法期末考试复习要点

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

  3. 所属分类：专业指导

    • 发布日期：2011-11-11
    • 文件大小：390kb
    • 提供者：bigconvience

  1. 形式化方法CSP

  2. Communicating sequential processes: 形式化方法CSP, 进程代数CSP

  3. 所属分类：专业指导

    • 发布日期：2012-01-15
    • 文件大小：1mb
    • 提供者：jiangdmdr

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

  2. 《软件开发的形式化方法》对软件开发中的形式化方法进行了介绍和讨论，内容涵盖了SE2004中关于"软件的形式化方法"的知识点，主要包括：有限状态机、Statecharts、Petri网、通信顺序进程、通信系统演算、一阶逻辑、程序正确性证明、时态逻辑、模型检验、Z、VDM、Larch等。形式化方法是建立在严格数学基础上、具有精确数学语义的开发方法。从广义角度，形式化方法是软件开发过程中分析、设计及实现的系统工程方法。狭义地，形式化方法是软件规格和验证的方法。

  3. 所属分类：专业指导

    • 发布日期：2012-02-06
    • 文件大小：10mb
    • 提供者：jiangdmdr

  1. 形式化方法与自动机 中科院研究生院课程

  2. 中科院研究生院教程 形式化方法与自动机 详尽资料

  3. 所属分类：软件测试

    • 发布日期：2012-02-16
    • 文件大小：6mb
    • 提供者：huxiangking

  1. 形式化方法 中科院研究生院教程

  2. 中科院研究生院教程 ，形式化方法 ，ppt

  3. 所属分类：软件测试

    • 发布日期：2012-02-16
    • 文件大小：10mb
    • 提供者：huxiangking

  1. 形式化方法课件（中文）

  2. 北大形式化方法课程的课件，重点介绍软件开发过程中的形式化方法。

  3. 所属分类：专业指导

    • 发布日期：2008-09-10
    • 文件大小：1mb
    • 提供者：yj_gu

  1. 形式化方法与软件可靠性

  2. 形式化方法在软件开发中能够起到的作用是多方面的。首先是对软件要求的描述。软件要求的描述是软件开发的基础。比如说一般非形式化的描述很可能导致描述的不明确和不一致。如果描述的不明确和不一致导致设计，编程的错误，将来的修改所要付出的代价就非常大了。如果导致的错误没有被发现，则影响程序的可靠和使用。形式化方法则要求描述的明确性，而描述的不一致性也就相对易于发现。其次是对软件设计的描述。软件设计的描述和软件要求的描述一样重要。形式化方法的优点对于软件要求的描述同样适用于软件设计的描述。另外由于有了软件要

  3. 所属分类：网络攻防

    • 发布日期：2008-10-12
    • 文件大小：4kb
    • 提供者：yuxiaoyong

  1. 软件工程的形式化方法

  2. 形式化方法

  3. 所属分类：讲义

    • 发布日期：2014-07-28
    • 文件大小：1mb
    • 提供者：welcomspring2

  1. 形式化方法 -从模型到代码的实践应用.pdf （Formal Method-Industrial Use From Model to the Code)

  2. 形式化方法简介，着重介绍了B方法及工具、SIMULINK和SCADE在形式化方法中的应用。

  3. 所属分类：其它

    • 发布日期：2014-11-10
    • 文件大小：10mb
    • 提供者：simazehao

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

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

  3. 所属分类：讲义

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

  2. 软件开发的形式化方法 软件开发的形式化方法

  3. 所属分类：专业指导

    • 发布日期：2009-02-27
    • 文件大小：11mb
    • 提供者：panchuanggo2467

  1. 形式化方法

  2. 形式化方法：通过数学逻辑来表述一个软件开发，最终还可以通过验证来证明软件开发的可行性。

  3. 所属分类：专业指导

    • 发布日期：2018-03-17
    • 文件大小：7mb
    • 提供者：fu6543210

  1. 软件形式化方法概述.docx

  2. 软件形式化方法概述.docx

  3. 所属分类：讲义

    • 发布日期：2020-02-18
    • 文件大小：505kb
    • 提供者：solarhughie

  1. Modbus协议一致性测试的形式化方法

  2. 首先提出了一致性测试的形式化方法的总体架构;然后分析了Mosbus协议形式化方法,给出了Modbus的FSM模型;接着分析了Modbus形式化测试生成方法,并采用U方法生成测试序列;最后设计并实现了一致性测试系统,在实际应用中证明了该方法的有效性和实用性。

  3. 所属分类：其它

    • 发布日期：2020-07-05
    • 文件大小：121kb
    • 提供者：weixin_38651929

  1. 天津大学逻辑与形式化方法复习资料.rar

  2. 天津大学逻辑与形式化方法复习资料，其中包括： 1.命题逻辑 2.一阶逻辑 3.Z语言的类型及构造单元 4.关系 5.函数 6.模式与规格说明 7.序列 8.包 9.Z语言规格说明的形式推理 10.模型检测

  3. 所属分类：讲义

    • 发布日期：2020-11-17
    • 文件大小：7mb
    • 提供者：qq_44760699
« 12 3 4 5 6 7 8 9 10 ... 22 »