教育部“新世纪优秀人才支持计划”(NCET-10-0436)
- 作品数：4 被引量：12H指数：2
- 相关作者：金英刘华虓张鹏马鹏飞刘磊更多>>
- 相关机构：吉林大学更多>>
- 发文基金：教育部“新世纪优秀人才支持计划”吉林省自然科学基金中央高校基本科研业务费专项资金更多>>
- 相关领域：自动化与计算机技术更多>>
- 一个用于解决需求不一致的纳什均衡策略选取方法
- 2015年
- 即使在需求说明形成之后,项目涉众要求变更需求的情形一样屡见不鲜,对新需求的管理以及需求不一致的处理显得十分重要。将博弈论中纳什均衡的相关知识应用到需求协商,定义了协商时博弈双方的策略意愿值,给出了纯策略与混合策略纳什均衡策略的选取方法,并实现了该策略选取工具,为协商函数提供了所需的策略组合方案。
- 王守堰金英张晶
- 关键词：需求管理纳什均衡
- Tabular表达式的指称语义研究被引量：2
- 2014年
- Tabular表达式是一种采用表格化结构组织函数或关系的形式化描述工具,在需求工程领域中具有广泛的应用,为Tabular表达式建立形式的语义模型是非常必要的.针对Tabular表达式通用模型,给出了Tabular表达式的形式文法及指称语义.通过定义形式文法中各语法单元的语义指派方程,描述了Tabular表达式的指称语义,分别对传统类型Tabular表达式和新类型Tabular表达式中一些典型表类型的指称语义进行了描述,并与其他几种Tabular表达式的语义描述方法进行了比较.分析结果表明:该语义描述方法不仅准确描述了Tabular表达式的语义,而且不再受Tabular表达式模型和Tabular表达式类型的限制,打破了现有方法的局限性,是一种非常有效的方法.
- 张鹏刘磊刘华虓金英
- 关键词：指称语义
- 一种需求变更影响分析方法被引量：6
- 2013年
- 需求变化的影响分析通过对其影响进行评估,为软件开发者和管理者提供有效的信息,这项工作在软件开发过程中有重要的意义.面向方面文档驱动需求工程从文本需求出发,提供了基于关注点及其关系的需求模块化、横切关注点判定及生成形式化需求文档等过程和方法.在面向方面文档驱动需求工程方法框架下,给出了一种需求影响分析方法,该方法基于矩阵确定关注点和变量之间的内部联系,应用可达矩阵计算界定关注点和变量的影响范围,定量计算关注点和变量相互之间影响程度,并通过实例分析验证了新方法的有效性.
- 刘华虓金英马鹏飞
- 关键词：可达矩阵
- 一种面向方面需求模型的分析与验证方法被引量：5
- 2013年
- 建立具有完整性和一致性的需求模型是软件项目成功的基础,验证需求模型是否具有相关性质在软件开发中具有重要的意义.文中针对面向方面文档驱动需求方法中的需求分析过程,给出了关注点建模过程中的若干验证策略,提出了基于本体的关注点模型验证的相关方法,并通过一个实例说明了文中方法的有效性.
- 金英刘华虓张鹏
- 关键词：本体
