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

搜索资源列表

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

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

  3. 所属分类：网络基础

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

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

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

  3. 所属分类：专业指导

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

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

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

  3. 所属分类：专业指导

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

  1. 软件工程-理论与实践(许家珆)习题答案

  2. 习 题 答 案 习题一答案 一、选择题 1. 软件的主要特性是(A B C)。 A) 无形 B) 高成本 C) 包括程序和文档 　　D) 可独立构成计算机系统 2. 软件工程三要素是(C D)。 A) 技术、方法和工具　 B) 方法、工具和过程　 C) 方法、对象和类　 D) 过程、模型、方法 3. 包含风险分析的软件工程模型是(A)。 A) 螺旋模型 B) 瀑布模型 C) 增量模型 D) 喷泉模型 4. 软件工程的主要目标是(C)。 A) 软件需求 　B) 软件设计　 C) 风险分析 　D)

  3. 所属分类：C

    • 发布日期：2011-01-12
    • 文件大小：303104
    • 提供者：fengjliang2009

  1. 软件工程—实践者的研究方法

  2. 第一部分 产品和过程 在本书的这一部分中我们主要讨论什么是工程产品和如何为工程技术提 出一个框架的过程。在下面的章节中，我们主要解决下列问题： ·到底什么是计算机软件？ ·为什么我们不断努力要建造高质量的基于计算机的系统？ ·我们如何对计算机软件的应用领域分类？ ·关于软件仍存在什么样的神话？ ·什么是软件过程？ ·是否存在一般性的方法评价一个过程的质量？ ·软件开发中可以应用什么过程模型？ ·线性过程和迭代过程有何区别？ ·它们的优点和缺点是什么？ ·在软件工程中可以建议什么更高级的过程模型

  3. 所属分类：其它

    • 发布日期：2011-10-07
    • 文件大小：1048576
    • 提供者：vaxking

  1. 软件工程简答题

  2. 简答题： 复习题一 软件生存周期模型的概念理解,常见的模型有哪些？请简单介绍？各有什么特点？ 答：软件生存周期模型是描述软件开发过程中各种活动如何执行的模型。 典型的生命周期模型有： 1.瀑布模型；2.快速原型；3.增量模型；4.螺旋模型 5.喷泉模型 （这5个都是书上详细介绍的）； 6.微软模型；7.统一过程；8.敏捷过程；9.阶段交付模型；10.延后实现的阶段交付模型 11.智能模型（大家只需选择前面5个作为重点哈） 瀑布模型 瀑布模型是将软件生存周期各个活动规定为自上向下，按照线性顺序连

  3. 所属分类：软件测试

    • 发布日期：2012-01-03
    • 文件大小：53248
    • 提供者：qq474613792

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

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

  3. 所属分类：专业指导

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

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

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

  3. 所属分类：专业指导

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

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

  2. 软件开发形式化方法，研究生课程。在抽象层面上讲述各种编程用到的思想。

  3. 所属分类：其它

    • 发布日期：2013-12-20
    • 文件大小：11534336
    • 提供者：u013228046

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

  2. 软件开发的形式化方法。软件工程专业研究生一年级课程。

  3. 所属分类：专业指导

    • 发布日期：2014-03-19
    • 文件大小：11534336
    • 提供者：u014230797

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

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

  3. 所属分类：网络攻防

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

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

  2. 软件开发的形式化方法，从软件危机引出软件开发的可验证方法

  3. 所属分类：其它

    • 发布日期：2014-09-16
    • 文件大小：10485760
    • 提供者：xxzmlm

  1. 现代软件工程习题及答案

  2. 1．什么是软件危机？ 软件危机是指在计算机软件的开发和维护过程中所遇到的一系列严重问题。这些问题表现在以下几个方面： (1)用户对开发出的软件很难满意。 (2)软件产品的质量往往靠不住。 (3)一般软件很难维护。 (4)软件生产效率很低。 (5)软件开发成本越来越大。 (6)软件成本与开发进度难以估计。 (7)软件技术的发展远远满足不了计算机应用的普及与深入的需要。 2．为什么会产生软件危机？ (1) 开发人员方面，对软件产品缺乏正确认识，没有真正理解软件产品是一个完整的配置组成。造成开发中制

  3. 所属分类：嵌入式

    • 发布日期：2008-11-02
    • 文件大小：496640
    • 提供者：zrjnike

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

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

  3. 所属分类：其它

    • 发布日期：2016-10-23
    • 文件大小：11534336
    • 提供者：zxcsms

  1. 实证软件工程

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

  3. 所属分类：其它

    • 发布日期：2017-11-08
    • 文件大小：1048576
    • 提供者：jacobke

  1. 形式化规约——Z语言

  2. 形式化规约，形式化方法，Z语言，主要与软件开发的形式化方法有关。

  3. 所属分类：讲义

    • 发布日期：2017-12-27
    • 文件大小：906240
    • 提供者：panchuanggo2467

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

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

  3. 所属分类：专业指导

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

  1. 形式化方法

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

  3. 所属分类：专业指导

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

  1. 基于信息流的多视图产品开发过程建模方法研究

  2. 针对复杂产品开发中的过程管理问题,建立了一种产品开发过程建模方法。建立了信息流的形式化定义,并根据信息流作用的不同对其进行了分类。建立了基于信息流的多视图产品开发过程建模方法,对其组织视图、资源视图以及信息视图进行了详细描述。研究了过程模型实例化方法及其过程。建立了过程建模软件,并以某产品开发过程为例进行了过程建模验证。

  3. 所属分类：其它

    • 发布日期：2020-04-27
    • 文件大小：373760
    • 提供者：weixin_38618024

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

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

  3. 所属分类：其它

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