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

搜索资源列表

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

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

  3. 所属分类：专业指导

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

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

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

  3. 所属分类：专业指导

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

  1. 软件形式化方法 有限状态机

  2. 软关于有限状态机的件形式化方法 ，包括模型检测，外文论文打包。

  3. 所属分类：专业指导

    • 发布日期：2009-09-30
    • 文件大小：12mb
    • 提供者：willow2001

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

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

  3. 所属分类：专业指导

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

  1. 一种支持实时软件时间建模的形式化方法

  2. 随着实时系统非功能性质研究的深入,为了分析软件对系统执行时间的影响并对其进行定量分析,提出了一种支持实时软件时间建模的形式化方法。通过扩展时间通信顺序进程的时间语义,将实时系统指令执行的时间映射成为时间通信顺序进程的时间,利用时间通信顺序进程对实时软件时间建模并进行量化分析。提出的时间最优调度算法可以判断时间通信顺序进程的可达性并计算时间最优路径。通过实例验证表明,该方法可以从很大程度上提高实时系统执行时间计算的准确性,计算结果有助于实时系统执行时间的量化分析与优化设计。

  3. 所属分类：网络攻防

    • 发布日期：2011-01-28
    • 文件大小：263kb
    • 提供者：mianyanglangzi

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

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

  3. 所属分类：专业指导

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

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

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

  3. 所属分类：专业指导

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

  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. 软件形式化方法Z语言.rar

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

  3. 所属分类：讲义

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

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

  3. 所属分类：专业指导

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

  1. 形式化方法

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

  3. 所属分类：专业指导

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

  1. 软件形式化方法视频教程1-4讲

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

  3. 所属分类：专业指导

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

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

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

  3. 所属分类：专业指导

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

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

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

  3. 所属分类：专业指导

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

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

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

  3. 所属分类：讲义

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

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

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

  3. 所属分类：其它

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

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

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

  3. 所属分类：其它

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

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

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

  3. 所属分类：其它

    • 发布日期：2021-03-08
    • 文件大小：557kb
    • 提供者：weixin_38609089
« 12 3 4 5 6 7 »