国家自然科学基金(90818026)

作品数：13被引量：81H指数：6
导出分析报告
相关作者：金芝尹斌刘璘张伟赵海燕更多>>
相关机构：北京大学中国科学院数学与系统科学研究院清华大学中国科学院研究生院更多>>
相关期刊：《小型微型计算机系统》《中国科学：信息科学》《Science China(Information Sciences)》《计算机学报》更多>>
相关主题：软件复用本体制导依存文法抽取方法更多>>
相关领域：自动化与计算机技术更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
Lerisk-i^＊框架自动建模与编辑工具介绍
《计算机科学》2014年第9期45-51,79,共8页李天颍 刘璘 寇晓溪 赵德旺 
国家基础研究发展计划(973计划)(2009CB320706);国家高技术研究发展计划(863计划)(2012AA040904);国家自然科学基金重大项目(90818026)资助
在需求工程中,基于主体的i*建模框架(主要包括策略依赖模型及策略推理模型)已经成为最常用的早期需求建模与分析的工具之一,而且关于i*建模框架的编辑工具开发也有很多相关的研究工作。然而现有的这些工具往往只提供诸如模型图编辑、存...
关键词：i^＊建模框架 可视化工具 自动布局 策略依赖 策略推理 
Eliciting dependability requirements:a control cases based approach
《Science China(Information Sciences)》2014年第1期92-106,共15页LIU Chun WANG Yue ZHANG Wei JIN Zhi 
Supported by National Basic Research Program of China(973 Program)(Grant Nos.2009CB3207-01,2011CB302704);Key Project of National Natural Science Foundation of China(Grant No.90818026);National Key Technology R&D Program(Grant No.2008BAH32B02)
At present, great demands are posed on software dependability. But how to elicit the dependability requirements is still a challenging task. This paper proposes a novel approach to address this issue. The essential id...
关键词：DEPENDABILITY dependability requirements requirements elicitation control systems control cases 
一种“用例+控例”驱动的软件分析与设计方法被引量：3
《软件学报》2013年第4期675-695,共21页刘春 张伟 赵海燕 金芝 
国家自然科学基金(90818026);国家重点基础研究发展计划(973)(2009CB320701;2011CB302704)
随着软件本身及其运行环境的日益复杂,软件可信性引起人们越来越多的关注.软件的分析与设计也越来越需要综合考虑软件的功能性和可信性.然而,如何在软件的分析与设计过程中综合考虑软件的功能性和可信性,目前仍然缺乏系统而有效的方法....
关键词：软件可信性 可信性需求 需求分析 系统设计 
一种基于依存文法的需求文本策略依赖关系抽取方法被引量：17
《计算机学报》2013年第1期54-62,共9页李天颍 刘璘 赵德旺 曹原 
国家"九七三"重点基础研究发展规划项目基金(2009CB320706);国家"八六三"高技术研究发展计划项目基金(2012AA040904);国家自然科学基金重大项目(90818026)资助~~
从基于自然语言的需求文本中抽取概念模型已有很多相关研究,然而,抽取模型中的关系信息因其复杂性而较少被研究者系统地分析和处理.文中提出了一个通用的关系信息抽取方法,给出抽取规则,从需求文本中确定和抽取关系信息.基于该方法设计...
关键词：自然语言需求文本 依存文法 关系抽取 策略依赖模型 
特征模型融合研究被引量：9
《计算机学报》2013年第1期1-9,共9页易立 赵海燕 张伟 金芝 梅宏 
国家"九七三"重点基础研究发展规划项目基金(2009CB320701);国家自然科学基金关键项目(90818026);国家自然科学基金(61272163);家科技支撑计划(2008BAH32B02)资助~~
特征模型为特定领域内软件需求的组织和复用提供了有效的手段.为了构建特征模型,领域分析人员要对领域内尽可能多的应用软件进行系统化分析,识别共性和变化性需求,并根据需求之间的依赖关系抽象和组织需求.随着软件系统复杂性的不断提高...
关键词：特征模型 模型融合 算法 软件复用 
问题框架方法的可靠性关注点及系统可靠性增强模式被引量：3
《计算机学报》2013年第1期74-87,共14页尹斌 金芝 李智 
国家自然科学重点基金(90818026);国家"九七三"重点基础研究发展规划项目基金(2009CB320701);广西壮族自治区自然科学基金(2012GXNSFCA053010)资助~~
软件系统可靠性是软件工程领域的一个热点研究问题.文中以系统可靠性指标为依据,针对问题框架方法,提出了5种与问题相关的可靠性关注点,并设计了相应的系统可靠性增强模式.这些可靠性增强模式将系统可靠性需求显式地引入问题的分析过程...
关键词：系统可靠性 问题框架方法 可靠性关注点 可靠性增强模式 
特征模型定制的一种自动传播策略与选择性回退机制被引量：2
《计算机学报》2013年第1期132-142,共11页李龙 赵海燕 张伟 
国家"九七三"重点基础研究发展规划项目基金(2009CB320701);国家自然科学基金重大研究计划课题(90818026);国家自然科学基金面上项目(61272162)资助
面向特征的分析方法已被主流的软件复用方法接受.其基本思想是将软件的特征作为软件解决需求问题的基本要素,使用特征以及特征之间的关系(这两者的组合也被称为特征模型)来组织软件的需求.特征模型良好的可剪裁性和可扩展性,为领域需求...
关键词：软件复用 特征模型 模型定制 自动传播 选择性回退 
一种面向主题的Web知识检索方法被引量：1
《小型微型计算机系统》2012年第10期2121-2126,共6页许焱 金芝 李戈 李力行 
国家"九七三"重点基础研究发展计划项目(2009CB320701)资助;国家自然科学重点基金项目(90818026)资助
知识检索研究如何从数据和信息中抽取知识.在数据和信息日益增长的今天,知识检索显得尤为重要.现有的知识检索主要以事先构造好的知识库为基础,需要通过专家来构建和维护用于检索的知识库.然而,人工构建知识库非常耗时而且代价很高,而且...
关键词：面向主题 知识检索 Web知识源 共现分析 
一种服务Agent的可信性评估方法被引量：8
《软件学报》2011年第11期2593-2609,共17页朱曼玲 金芝 
国家自然科学基金(90818026);国家重点基础研究发展计划(973)(2009CB320701);国家杰出青年基金(60625204)
提出了一个基于服务Agent的计算框架,并从社交认知的角度建立了一个服务Agent的信任本体,支持服务Agent对信任信息进行推理.根据该信任本体,提出一系列基于信任推理的计算规则支持信任值的计算,帮助服务Agent进行理性的选择决策.案例研...
关键词：面向服务计算 服务AGENT 信任本体 社交认知方法 
基于类图语义框架的中文需求分析方法被引量：5
《电子学报》2011年第A03期94-98,共5页利锦标 李童 刘璘 
国家自然科学基金面上项目(No.60873064);国家自然科学基金"可信软件"重大专项重点项目(No.90818026);国家973重点基础研究发展规划(No.2009CB320706);核高基国家科技重大专项(No.2009ZX01045-001-001-02)
需求文本的分析和建模是需求工程中一个重要环节,其获取建模过程的自动化也渐渐成为了需求工程中一项重要研究内容.本文针对中文自然语言处理和需求分析中的难点,提出了基于面向类图语义框架的中文需求类图半自动建模方法.该建模方法的...
关键词：语义框架 需求分析建模 类图 自然语言处理 面向对象分析 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部