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

搜索资源列表

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

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

  3. 所属分类：专业指导

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

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

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

  3. 所属分类：专业指导

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

  1. 形式化方法资料

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

  3. 所属分类：专业指导

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

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

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

  3. 所属分类：其它

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

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

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

  3. 所属分类：专业指导

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

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

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

  3. 所属分类：专业指导

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

  1. 形式化方法CSP

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

  3. 所属分类：专业指导

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

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

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

  3. 所属分类：专业指导

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

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

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

  3. 所属分类：软件测试

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

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

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

  3. 所属分类：软件测试

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

  1. 形式化方法在软件工程中的应用研究

  2. 关于Z语言的文章.探讨了形式化方法的基本概念，重点研究了形式化方法的数学理论基础和其在软件工程各 阶段的应用情况，分析了形式化方法在理论研究和工程实践上的优势和局限性及其原因，并指出了 形式化方法发展的几个方向，最后对形式化方法在软件工程中的应用做了评价。

  3. 所属分类：其它

    • 发布日期：2012-06-15
    • 文件大小：215040
    • 提供者：duanyc6688

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

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

  3. 所属分类：专业指导

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

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

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

  3. 所属分类：网络攻防

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

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

  2. 形式化方法

  3. 所属分类：讲义

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

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

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

  3. 所属分类：其它

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

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

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

  3. 所属分类：讲义

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

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

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

  3. 所属分类：专业指导

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

  1. 形式化方法

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

  3. 所属分类：专业指导

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

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

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

  3. 所属分类：讲义

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

  1. 形式化方法B和UML的结合研究

  2. 形式化方法B和UML的结合研究，邹盛荣，， 形式化方法B用抽象机器符号来描述软件的规格说明， 因为工具集的有力支持已成为形式化方法的首选并有了一些成功的工业应用，UML是

  3. 所属分类：其它

    • 发布日期：2019-12-31
    • 文件大小：592896
    • 提供者：weixin_38614952
« 12 3 4 5 6 7 8 9 10 ... 24 »