您的位置： 专家智库 > >

王越

作品数：3 被引量：14H指数：2
供职机构：中国科学院数学与系统科学研究院更多>>
发文基金：国家自然科学基金国家重点基础研究发展计划国家杰出青年科学基金更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 2篇期刊文章
  • 1篇会议论文

领域

  • 3篇自动化与计算...

主题

  • 2篇基于知识
  • 1篇性需求
  • 1篇元模型
  • 1篇知识
  • 1篇知识引导
  • 1篇软件系统
  • 1篇经验知识

机构

  • 3篇中国科学院数...
  • 2篇北京大学

作者

  • 3篇刘春
  • 3篇王越
  • 2篇金芝
  • 1篇张伟
  • 1篇张伟

传媒

  • 1篇电子学报
  • 1篇计算机学报
  • 1篇中国计算机学...

年份

  • 1篇2011
  • 1篇2010
  • 1篇2009
共 3 条 记 录，以下是 1-3
全选 清除 导出
排序方式：
基于知识的软件可信性需求获取被引量：6
2010年
针对软件系统的可信性需求获取，本文提出了基于知识的需求获取方法.该方法认为软件系统给环境所带来的问题是导致软件系统不可信的原因，因而系统的可信性需求就是为避免软件系统给环境带来问题而定义的对策，并且现实世界积累的软件系统失效和其引发问题的相关知识，可以帮助用户来识别软件系统可能带来的问题以及相应的对策.该方法可以弥补分析人员在获取软件需求时的知识不足，从而帮助分析人员发现更多的软件系统的可信性需求.
刘春王越金芝
知识引导的软件可信性需求的提取被引量：9
2011年
软件系统的可信性已经成为一个受到广泛关注的焦点问题.开发可信的软件系统的前提是在需求阶段提取恰当的可信性需求.能否提取出足够好的软件可信性需求,不仅依赖于需求工程师对未来软件系统可能面临的威胁的认识,还依赖于其对各种威胁有效的应对措施的了解和掌握.目前缺少系统化的方法指导软件可信性需求的提取.文中提出一个软件可信性需求上层本体作为软件可信性需求的概念框架.在此框架的基础上,开发了一个软件可信性需求知识库,定义了软件可信性需求模式框架以及如何根据知识库的内容进行模式实例化的过程,帮助提取可信需求.最后利用一个股票交易系统作为案例展示了该方法的可行性.
王越刘春张伟张伟
基于知识的软件可信性需求获取
基于UMD(Unified Model of Dependability)模型，提出基于知识的可信需求获取方法．该方法可以避免区分可信性及其各个属性之间的复杂相关性所带来的困难，同时也可以充分利用现实世界中构造安全可靠的...
刘春王越金芝
关键词：经验知识元模型软件系统
文献传递
全选 清除 导出
共1页<1>
聚类工具0