您好,欢迎光临本网站![请登录][注册会员]  

搜索资源列表

  1. 软件需求的形式化转换模型.pdf

  2. 需求规范错误是软件设计错误的一大类。该文提出了一个软件需求的形式化转换模型,用来将软件需求分析直接、自动地转换为形式化描述,为需求验证提供帮助,避免软件在需求规范上可能产生的错误。
  3. 所属分类:专业指导

    • 发布日期:2009-06-25
    • 文件大小:130048
    • 提供者:bjpu_cpnet2009
  1. 软件需求分析讲义(推荐)

  2. 一、引言 二、需求工程过程 三、需求获取 四、需求分析 五、规格说明 六、需求验证 七、需求工程技术概述 八、需求获取技术 九、需求建模技术概述 十、表示建模 十一、行为建模 十二、内部建模 十三、形式化技术 十四、案例分析
  3. 所属分类:专业指导

    • 发布日期:2009-07-30
    • 文件大小:163840
    • 提供者:net30
  1. 软件需求全过程实践pdf

  2. 简介 本书讲述了软件开发中一个至关重要的问题—软件需求问题。 软件开发人员及用户往往容易忽略信息沟通,导致软件开发出来后,不能很好地满足用户的需要。而返工则不仅在技术上给开发人员 带来巨大的麻烦,而且软件性能深受影响且造成人力、物力的浪费。所以在开发周期早期提高项目需求分析的质量,减少重复劳动,通过 控制项目范围的扩展及需求变更来达到按计划完成预定目标是当前我国软件业急需解决的问题—这也是本书讨论的主要内容。 目 录 译者序 前言 第一部分 软件需求:是什么和为什么 第1章 基本的软件需求 1
  3. 所属分类:专业指导

    • 发布日期:2010-03-13
    • 文件大小:5242880
    • 提供者:lyhwinon
  1. 《软件需求》书 软件需求:是什么和为什么

  2. 目 录 译者序 前言 第一部分 软件需求:是什么和为什么 第1章 基本的软件需求 1 1.1 软件需求的定义 2 1.1.1 一些关于“需求”的解释 2 1.1.2 需求的层次 3 1.2 每个项目都有需求 4 1.3 什么情况将会导致好的群体发生不合格的需求说明 5 1.4 高质量的需求过程带来的好处 7 1.5 优秀需求具有的特性 7 1.5.1 需求说明的特征 7 1.5.2 需求规格说明的特点 8 1.6 需求的开发和管理 9 第2章 客户的需求观 11 2.1 谁是客户 12 2.2
  3. 所属分类:Java

    • 发布日期:2010-10-14
    • 文件大小:5242880
    • 提供者:white_chocolate
  1. 软件需求-software required

  2. 目      录 译者序 前言 第一部分   软件需求:是什么和为什么 第1 章  基本的软件需求 1 1.1   软件需求的定义2 1.1.1   一些关于“需求”的解释 2 1.1.2   需求的层次 3 1.2   每个项目都有需求 4 1.3   什么情况将会导致好的群体发生不合格 的需求说明 5 1.4   高质量的需求过程带来的好处7 1.5   优秀需求具有的特性7 1.5.
  3. 所属分类:Java

    • 发布日期:2011-01-10
    • 文件大小:5242880
    • 提供者:shaoguangleo
  1. 网络社交性书签系统需求分析可行性报告

  2. 目录 1 引言/绪论 1 1.1 项目简介 1 1.1.1 背景 1 1.1.2 项目内容 1 1.1.3 相关定义 1 1.1.4 参考资料 1 1.2 本项目组的情况 2 1.2.1 主要工作 2 1.2.2 项目参加人员 2 2 可行性研究 3 2.1 可行性分析的基本内容 3 2.1.1 进行可行性研究的方法 3 2.1.2 项目要求复查 3 2.1.3 项目目标 3 2.1.4 系统功能要求 3 2.2 可行性分析的评价 4 2.2.1 评价尺度 4 2.2.2 评价内容 4 2.2
  3. 所属分类:Java

    • 发布日期:2011-11-04
    • 文件大小:1048576
    • 提供者:xvdongchen
  1. 需求工程初学者重点知识

  2. 学习需求工程所需掌握得最基础的知识,需求获取 ,需求分析,需求规格说明,需求验证等,还包括确定项目前景和范围,涉众分析和硬数据采样,面谈,原型观察和文档审查等
  3. 所属分类:数据库

    • 发布日期:2012-05-30
    • 文件大小:7340032
    • 提供者:xiaqi10
  1. 软件需求最佳实践

  2. 本书首先从软件需求实践中出现的主要问题和困难入手,指出了改进的主要方向;然后逐一说明了需求定义、需求捕获、需求分析与建模、编写规约、需求验证等需求开发活动的任务、要点和具体手段;并提出了一个可操作性强、易于上手的SERU过程框架,能够帮助读者清晰地了解整个过程,理解各阶段的关键产物和产物之间的关系。
  3. 所属分类:专业指导

    • 发布日期:2013-07-21
    • 文件大小:60817408
    • 提供者:babyfox54751603
  1. 第3章需求工程的推荐方法

  2. 需求工程,知识技能,需求获取,需求分析,需求规格说明,需求验证,需求管理
  3. 所属分类:专业指导

    • 发布日期:2008-09-25
    • 文件大小:212992
    • 提供者:wangshuoshi
  1. 软件需求工程-PPT

  2. 软件需求基本理论和概念 软件需求工程过程 软件需求获取 软件需求分析 软件需求规格说明 软件需求验证 软件需求管理 软件需求实现 软件需求工程新进展 软件需求开发与需求管理工具
  3. 所属分类:讲义

    • 发布日期:2015-02-23
    • 文件大小:16777216
    • 提供者:zhaosanyong1
  1. 软件需求(pdf文档)

  2. 本书讲述了软件开发中一个至关重要的问题—软件需求问题。软件开发人员及用户往往容易忽略信息沟通,导致软件开发出来后,不能很好地满足用户的需要。而返工则不仅在技术上给开发人员带来巨大的麻烦,而且软件性能深受影响且造成人力、物力的浪费。所以在开发周期早期提高项目需求分析的质量,减少重复劳动,通过控制项目范围的扩展及需求变更来达到按计划完成预定目标是当前我国软件业急需解决的问题—这也是本书讨论的主要内容。 目 录 译者序 前言 第一部分 软件需求:是什么和为什么 第1章 基本的软件需求 1 1.1 软
  3. 所属分类:专业指导

    • 发布日期:2008-11-20
    • 文件大小:4194304
    • 提供者:doublepage
  1. 软件需求最佳实践:SERU过程框架原理与应用part1

  2. 本书首先从软件需求实践中出现的主要问题和困难入手,指出了改进的主要方向;然后逐一说明了需求定义、需求捕获、需求分析与建模、编写规约、需求验证等需求开发活动的任务、要点和具体手段;并提出了一个可操作性强、易于上手的SERU过程框架,能够帮助读者清晰地了解整个过程,理解各阶段的关键产物和产物之间的关系。
  3. 所属分类:其它

    • 发布日期:2016-12-26
    • 文件大小:53477376
    • 提供者:happymatilian
  1. 软件需求最佳实践:SERU过程框架原理与应用part2

  2. 本书首先从软件需求实践中出现的主要问题和困难入手,指出了改进的主要方向;然后逐一说明了需求定义、需求捕获、需求分析与建模、编写规约、需求验证等需求开发活动的任务、要点和具体手段;并提出了一个可操作性强、易于上手的SERU过程框架,能够帮助读者清晰地了解整个过程,理解各阶段的关键产物和产物之间的关系。
  3. 所属分类:其它

    • 发布日期:2016-12-26
    • 文件大小:48234496
    • 提供者:happymatilian
  1. 软件需求最佳实践

  2. 本书首先从软件需求实践中出现的主要问题和困难入手,指出了改进的主要方向;然后逐一说明了需求定义、需求捕获、需求分析与建模、编写规约、需求验证等需求开发活动的任务、要点和具体手段;并提出了一个可操作性强、易于上手的SERU过程框架,能够帮助读者清晰地了解整个过程,理解各阶段的关键产物和产物之间的关系。
  3. 所属分类:其它

    • 发布日期:2017-01-09
    • 文件大小:60817408
    • 提供者:swzgliet
  1. 需求调查经验谈

  2. 需求调查所处环节: 调查时使用的工具: 调查模板: 调查源: 调查大方向: 调查前准备: 问什么方向的事: 调查后资料整理: 调查事后分析: 需求验证:
  3. 所属分类:项目管理

    • 发布日期:2018-05-26
    • 文件大小:25600
    • 提供者:ku51com
  1. 麦哲思需求工程实践精要V4.0

  2. 麦哲思科技(北京)有限公司的高级咨询顾问任甲林,对工程需求获取、需求分析、需求验证、需求管理等进行了讲解。
  3. 所属分类:专业指导

  1. 软件需求分析方法七大部分(可编辑,有目录)

  2. 软件需求分析方法七大部分(可编辑,有目录),软件需求的三个不同的层次;业务需求、用户需求和功能需求等具体分析,可做参考
  3. 所属分类:项目管理

    • 发布日期:2018-09-18
    • 文件大小:1048576
    • 提供者:q1232
  1. 嵌入式系统/ARM技术中的模型校验技术在嵌入式系统验证中的应用

  2. 近十年以来,计算机科学研究的进步大大推动了需求和设计验证工具和技术的发展,其中最成功的技术当属模型校验。模型验证与规范化建模语言的紧密结合,极大地推动了验证自动化的发展。本文介绍了模型校验的原理及工作方式。 模型校验是最成功的需求验证工具。模型校验的基本原理如图1所示。模型校验工具的输入是系统需求或设计(称为模型)以及最终系统期望实现的特性(称为“规范”)。如果给定的模型满足给定的规范,那么工具将输出yes,否则将生成反例。反例详细描述了模型无法满足规范的原因,通过研究反例,可以精确地定
  3. 所属分类:其它

    • 发布日期:2020-12-13
    • 文件大小:131072
    • 提供者:weixin_38684509
  1. 软件验证与测试.rar

  2. part1-软件测试与验证基础概念 part2-需求验证与分析 part3-系统测试技术要求与测试过程 part4-单元测试技术要求与静态测试技术 part5-基于结构的测试用例设计与单元动态测试技术 part6-基于规格说明的测试用例设计(黑盒测试技术)
  3. 所属分类:互联网

    • 发布日期:2020-12-29
    • 文件大小:2097152
    • 提供者:zbyzby1142
  1. 基于场景的并发系统需求验证方法研究

  2. 为验证并发系统需求设计的正确性,提出一种基于场景的并发系统需求验证方法.首先,用UML顺序图建模并发系统需求场景,通过定义顺序图的操作语义及转换规则,将顺序图的XML描述文件自动转换为Promela程序,而后将描述系统需求的Promela程序和描述系统规约的线性时序逻辑作为模型检测器SPIN的输入,用模型检测的方法自动验证并发系统需求设计的一致性和完备性,最后为证明上述方法的有效性给出一个基于场景的ATM系统需求设计验证实例.实验结果表明,该方法能够有效地发现并发系统需求设计中的错误与不一致,为
  3. 所属分类:其它

    • 发布日期:2021-02-24
    • 文件大小:314368
    • 提供者:weixin_38661100
« 12 3 4 5 6 7 8 9 10 ... 50 »