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

搜索资源列表

  1. 非常实用的软件测试综合资料库

  2. 软件测试基础 一、概述 二、软件测试的目的 三、软件测试的基本方法 四、软件测试的复杂性与经济性 五、软件测试的心理学问题 六、好的测试工程师应具备的素质 七、参考文献 　 一、概述 信息技术的飞速发展，使软件产品应用到社会的各个领域，软件产品的质量自然成为人们共同关注的焦点。不论软件的生产者还是软件的使用者，均生存在竞争的环境中，软件开发商为了占有市场，必须把产品质量作为企业的重要目标之一，以免在激烈的竞争中被淘汰出局。用户为了保证自己业务的顺利完成，当然希望选用优质的软件。质量 不佳的软件

  3. 所属分类：网络基础

    • 发布日期：2009-05-25
    • 文件大小：499712
    • 提供者：heaven4085

  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. 所属分类：专业指导

    • 发布日期：2009-07-14
    • 文件大小：223232
    • 提供者：pp4444

  1. 软件形式化 期中试卷

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

  3. 所属分类：专业指导

    • 发布日期：2011-01-23
    • 文件大小：38912
    • 提供者：qcaisuda

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

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

  3. 所属分类：专业指导

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

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

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

  3. 所属分类：专业指导

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

  1. 状态空间数编程

  2. 代码类 java语言实现 软件形式化实验 实现状态空间的计数

  3. 所属分类：Java

    • 发布日期：2013-06-23
    • 文件大小：1024
    • 提供者：u010924010

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

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

  3. 所属分类：讲义

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

  1. 软件行为学_屈延文_高清完整版.pdf

  2. 本书介绍以群体软件行为为主的软件行为，研究代理或多代理群体的行为，阐述软件行为的理论、模型、方法，描述软件行为在不同行为模式系统中的结构问题、运行模式问题等。

  3. 所属分类：其它

    • 发布日期：2017-02-04
    • 文件大小：5242880
    • 提供者：chinaray2010

  1. 大型软件形式化开发方法及CASE工具ZIPC

  2. 大型软件形式化开发方法及CASE工具ZIPC 软件开发方法PPT

  3. 所属分类：C++

    • 发布日期：2018-10-11
    • 文件大小：12582912
    • 提供者：xmcnfire

  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. 软件形式规格说明语言-Z

  2. 1. 什么是形式化方法？ 2. 软件形式化有什么优点？（一个是精确，另一个是可验证的。） 3. 什么是Z语言？（软件的形式规格说明语言，基于数学的一种表示，用于规格说明） 4. 软件规格说明有哪两种抽象？（数据抽象，过程抽象， 以及分别是什么） 5. 除了Z语言，你知道还有哪些其他的形式规格说明语言？ 第2章 1. 什么是命题？（都是简单的问题，命题是可分辨真假的陈述句） 什么是命题公式？（用常用的5个连接词讲命题连接起来，组合起来。简单的来说就是这样，书上有现成的答案。） 什么是命

  3. 所属分类：外包

    • 发布日期：2020-06-21
    • 文件大小：14680064
    • 提供者：weixin_43441064

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

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

  3. 所属分类：其它

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

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

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

  3. 所属分类：其它

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

  1. 基于场景分析的系统形式化模型生成方法

  2. 采用形式化方法对系统的安全性进行分析与验证,是构造可靠安全软件系统的一个重要途径。当前的形式化安全分析方法,面临着系统的形式化建模难的问题。以铁路车站联锁系统中基本进路建立为例,提出基于场景分析的系统形式化模型生成方法。该方法首先采用OCL前/后置条件分析法对UML时序场景作一致性分析,然后将UML时序图中对象交互的行为序列转换成FSP进程代数模型,进而得到系统的形式化模型。该方法为系统的形式化建模提供了新思路,从安全质量方面改善了安全苛求软件的设计与开发,丰厚了基于模型的软件形式化开发方法。

  3. 所属分类：其它

    • 发布日期：2021-02-20
    • 文件大小：574464
    • 提供者：weixin_38591291

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

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

  3. 所属分类：其它

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