公共文化服务平台

共 6 条记录，以下是 1-6

全选清除导出

排序方式：

通过需求依赖判定横切关注点被引量：3: 2011年; 提出了一种定义需求依赖关系以及基于该依赖关系判定需求横切关注点的方法。首先,针对系统资源定义了需求之间原子关系;其次,提出了需求簇的概念以及基于需求之间关系划分需求簇的方法;最后给出了基于需求簇以及需求依赖关系进行横切关注点判定方法和冲突分析方法。通过应用本文方法对一个已有系统提取了相应的横切关注点,验证了本文方法的可行性和有效性。; 罗术通张长海金英刘元宁

基于aspect封装的需求级特征复用方法被引量：1: 2011年; 可复用的软件资产的确定为软件复用活动提供了基础.特征模型通过特征以及特征之间的关系来有效地组织特定领域的软件需求,为领域需求的复用提供有力支持.面向方面系统设计着眼于减少软件开发中需求或代码的纠结,将识别出的横切关注点封装成aspect,有利于开发模块化良好的软件产品以及高效的软件维护和复用.为方便特征复用,提出了一种在系统需求分析级别对特征模型进行aspect化封装的方法,可提取出遗留系统中的可复用部分.首先,通过分析同一领域遗留系统的需求文档,识别出系统关注点,建立领域的关注点层次结构;其次,基于领域关注点层次结构,提取领域特征,并对相似特征进行aspect化封装,形成特征层次模型;最后,基于建立的特征模型以及封装的aspect开发新系统,达到软件复用目的.基于新方法进行了实例分析,通过复用两个不同的Web遗留系统得到一个新的Web系统.可以看出新方法对同一个领域中的多遗留系统地复用有较好的指导意义.; 罗术通裴志利张长海金英

Tabular表达式的指称语义研究被引量：2: 2014年; Tabular表达式是一种采用表格化结构组织函数或关系的形式化描述工具,在需求工程领域中具有广泛的应用,为Tabular表达式建立形式的语义模型是非常必要的.针对Tabular表达式通用模型,给出了Tabular表达式的形式文法及指称语义.通过定义形式文法中各语法单元的语义指派方程,描述了Tabular表达式的指称语义,分别对传统类型Tabular表达式和新类型Tabular表达式中一些典型表类型的指称语义进行了描述,并与其他几种Tabular表达式的语义描述方法进行了比较.分析结果表明:该语义描述方法不仅准确描述了Tabular表达式的语义,而且不再受Tabular表达式模型和Tabular表达式类型的限制,打破了现有方法的局限性,是一种非常有效的方法.; 张鹏刘磊刘华虓金英; 关键词：指称语义

一种面向方面需求模型的分析与验证方法被引量：5: 2013年; 建立具有完整性和一致性的需求模型是软件项目成功的基础,验证需求模型是否具有相关性质在软件开发中具有重要的意义.文中针对面向方面文档驱动需求方法中的需求分析过程,给出了关注点建模过程中的若干验证策略,提出了基于本体的关注点模型验证的相关方法,并通过一个实例说明了文中方法的有效性.; 金英刘华虓张鹏; 关键词：本体

块结构的程序切片方法: 2012年; 为弥补传统程序切片方法在切片点变量选择上的局限性,提出了一种灵活的切片准则,并基于该切片准则给出了一种新的切片方法.该方法将程序划分成一种块状结构,把切片划分为块内切片和块外切片,利用块内切片算法和块内切片迭代分别求取块内切片和块外切片的结果.实验结果表明,该方法是可行的,弥补了现有程序切片方法的缺陷.; 张鹏王智学吕帅张睿刘磊; 关键词：程序切片程序块控制流分析数据流分析

一种需求变更影响分析方法被引量：6: 2013年; 需求变化的影响分析通过对其影响进行评估,为软件开发者和管理者提供有效的信息,这项工作在软件开发过程中有重要的意义.面向方面文档驱动需求工程从文本需求出发,提供了基于关注点及其关系的需求模块化、横切关注点判定及生成形式化需求文档等过程和方法.在面向方面文档驱动需求工程方法框架下,给出了一种需求影响分析方法,该方法基于矩阵确定关注点和变量之间的内部联系,应用可达矩阵计算界定关注点和变量的影响范围,定量计算关注点和变量相互之间影响程度,并通过实例分析验证了新方法的有效性.; 刘华虓金英马鹏飞; 关键词：可达矩阵

全选清除导出

共1页<1>

吉林省自然科学基金(20101509)