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

搜索资源列表

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

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

  3. 所属分类：专业指导

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

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

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

  3. 所属分类：专业指导

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

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

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

  3. 所属分类：专业指导

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

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

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

  3. 所属分类：专业指导

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

  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. 软件形式化方法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. 软件形式化方法视频教程1-4讲

  2. 软件形式化方法视频教程，非常好，付费购买某视频网站。软件形式化方法是指建立在严格数学基础上的软件开发方法。形式化方法模型的主要活动是生成计算机软件形式化的数学规格说明。形式化方法使软件开发人员可以应用严格的数学符号来说明、开发和验证基于计算机的系统。

  3. 所属分类：专业指导

    • 发布日期：2019-03-24
    • 文件大小：186646528
    • 提供者：r78zyang

  1. 软件形式化方法视频课程5-8

  2. 软件形式化方法视频教程，非常好，付费购买某视频网站。软件形式化方法是指建立在严格数学基础上的软件开发方法。形式化方法模型的主要活动是生成计算机软件形式化的数学规格说明。形式化方法使软件开发人员可以应用严格的数学符号来说明、开发和验证基于计算机的系统。

  3. 所属分类：专业指导

    • 发布日期：2019-03-24
    • 文件大小：186646528
    • 提供者：r78zyang

  1. 软件形式化方法视频课程9-12

  2. 软件形式化方法9-12，购买于某视频网站。软件形式化方法是指建立在严格数学基础上的软件开发方法。形式化方法模型的主要活动是生成计算机软件形式化的数学规格说明。形式化方法使软件开发人员可以应用严格的数学符号来说明、开发和验证基于计算机的系统。

  3. 所属分类：专业指导

    • 发布日期：2019-03-24
    • 文件大小：181403648
    • 提供者：r78zyang

  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

  1. 形式化方法对构件库管理系统支持的探讨

  2. 摘要：依据网上信息收集系统构件库中构件的开发和管理经验，提出一种构件模型，并阐述了此模型对基于语义的构件检索、构件组装和构件演化的自动化支持。关键词：构件模型构件库形式化方法形式化描述。     在基于构件的软件开发(CBSD)中，作为复用基础设旌的构件库系统已成为企业内部和企业间协作的必然装备，而要建立系统化的构件库，建立合适的构件模型是第一步。构件模型是构件本质特征及构件间关系的抽象描述。它定义了构件的本质属性，规定了构件接口的结构以及构件与软件体系结构、构件与构件之间的交互机制。构件模

  3. 所属分类：其它

    • 发布日期：2020-12-13
    • 文件大小：210944
    • 提供者：weixin_38528459

  1. 软件形式化开发关键部件选取的水波优化方法

  2. 软件形式化开发关键部件选取的水波优化方法

  3. 所属分类：其它

    • 发布日期：2021-03-19
    • 文件大小：385024
    • 提供者：weixin_38603924

  1. 基于服务的软件形式化规范的进化方法

  2. 基于服务的软件形式化规范的进化方法

  3. 所属分类：其它

    • 发布日期：2021-03-08
    • 文件大小：570368
    • 提供者：weixin_38609089

  1. 软件形式化开发方法的选择策略研究

  2. 随着软件形式化方法的不断发展，各种各具特色的形式化方法涌现出来，为了解决在具体的系统开发中如何选取合适的形式化方法，对目前较为流行的几种形式化方法RSL，B，VDM，Z的特点进行对比分析，然后针对不同的软件开发人员和所需开发系统的不同，给出了适合用形式化方法开发的情况和如何选择合适的形式化开发方法。

  3. 所属分类：其它

    • 发布日期：2021-01-29
    • 文件大小：683008
    • 提供者：weixin_38687968
« 12 3 4 5 6 7 8 »