面向方面程序

作品数：32被引量：50H指数：4
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：唐祖锴谢刚杨波劳阳辉黄静更多>>
相关机构：上海交通大学武汉大学贵州师范大学武汉工程大学更多>>
相关期刊：《中国信息化》《计算机工程与设计》《计算机与数字工程》《计算机与现代化》更多>>
相关基金：国家自然科学基金国家重点基础研究发展计划湖北省自然科学基金广东省自然科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
面向方面程序的动态语义研究
《计算机科学》2018年第8期179-185,207,共8页谢刚 蒋强 石磊 
国家自然科学基金(61563011);贵州师范大学资助博士科研项目资助
目前,针对面向方面程序,许多研究者已定义了各种各样的形式语义。但是,没有一种语义能被软件设计者和开发者所理解。针对该问题,在已有研究的基础上,应用统一程序理论中的设计来定义面向方面的动态语义。同时,以一个例子来说明该语义的...
关键词：面向方面程序 动态 语义 
面向方面程序的精化演算框架被引量：1
《西南师范大学学报（自然科学版）》2018年第7期67-74,共8页谢刚 张明义 杨波 
国家自然科学基金项目(61309006;61563011);贵州师范大学资助博士科研项目
面向方面程序越来越受到软件工程领域研究者的重视.精化演算已经广泛应用到各种程序设计中,以消除开发过程中的错误.利用精化演算和统一程序理论定义一种面向方面程序的精化演算框架.在该框架中,首先定义了面向方面程序的精化,在此基础...
关键词：面向方面 精化 演算 
面向方面程序的静态语义研究被引量：2
《计算机科学》2017年第9期184-189,215,共7页谢刚 韦立 吴祥 
国家自然科学基金(61309006;61563011);贵州师范大学资助博士科研项目资助
针对面向方面程序,许多研究者已定义了各种各样的形式语义。但是这些语义都不能够全面、准确地对面向方面程序的规范和方面声明部分进行描述。针对该问题,首先定义一种统一的面向方面程序的规范语言;其次对面向方面程序中的连接点和切...
关键词：面向方面程序 静态 语义 
Java面向方面程序设计概述
《软件导刊》2013年第7期63-65,共3页谢朋宇 李林峰 
在计算机系统应用越来越广泛的今天,应用软件的规模不断扩大,复杂度不断提高,过程化程序设计、面向对象程序设计等传统的软件开发方法已渐渐不能适应这种变化。于是,一种新的程序开发方法:面向方面的编程(AOP:Aspect Oriented Programmi...
关键词：AOP 织入 切面 切入点 ASPECTJ 
基于谓词动态切片技术的AOP测试用例生成方法研究
《小型微型计算机系统》2013年第6期1321-1327,共7页王波 柴玉梅 王黎明 
面向方面程序设计是面向对象程序设计技术的补充和完善,高效的面向方面程序测试方法是面向方面程序的质量保证.提出一个基于谓词动态切片技术的测试方法.首先,构造完整的AOP语句控制流图,它包含AOP的方面、切入点、连接点、建议等因素....
关键词：面向方面程序设计 语句控制流图 谓词动态切片 分支函数 
面向方面程序的属性推断
《计算机研究与发展》2013年第2期344-351,共8页叶俊 谭庆平 李暾 
国家自然科学基金项目(60773025)
为简化面向方面程序(aspect-oriented programming,AOP)的形式化验证问题,Djoko等人对aspect进行了系统的分类,并确定了每类aspect能够保持的属性.分类之一的observer指一类对基程序的变量只读不写,且不修改其控制流的aspect,这类aspec...
关键词：面向方面程序 形式化验证 属性保持 属性推断 活性属性 安全属性 
基于路径覆盖准则的AOP路径生成方法研究
《计算机工程与设计》2012年第11期4209-4213,共5页王波 柴玉梅 王黎明 
在检验面向方面程序质量时,常常会依据路径覆盖准则对其进行测试,所以生成符合路径覆盖准则的AOP路径是很重要的。生成AOP路径,对AOP的控制流信息进行分析、表示,构造其单个模块、基本方面等的语句控制流图,确定类与方面之间交互的表示...
关键词：面向方面程序 控制流信息 路径覆盖 语句控制流图 交互 
一个面向方面的UML扩展
《数字技术与应用》2012年第7期192-193,共2页余秋惠 
本文给出了一个面向方面的UML扩展,描述了扩展的构造型及其含义。对于面向方面程序设计中的核心元素,给出了相应的元模型。该UML扩展为面向方面建模提供了一种可行的方法。
关键词：面向方面程序设计 面向方面建模 UML 
面向方面的计算误差处理技术:实例研究与评估被引量：3
《软件学报》2011年第11期2639-2651,共13页崔展齐 王林章 刘慧根 李宣东 
国家自然科学基金(60721002;90818022;61170066);国家重点基础研究发展计划(973)(2009CB320702)
传统的实现方法通常把误差处理策略与程序的基本功能交织到一起,这会增加程序的耦合度,使得程序难以理解与维护.针对这一问题,提出一种面向方面的解决方案,即将程序的各种误差处理策略封装为方面.为评估该方法的有效性,将一个真实的卫...
关键词：面向方面程序设计 重构 计算误差处理 科学计算 
从面向方面程序设计的定义到面向方面程序设计语言被引量：9
《计算机科学》2011年第10期133-139,共7页古思山 蔡树彬 李师贤 
广东省自然科学基金项目(10351806001000000);深港创新圈项目(ZYB200907060012A);广东高校优秀青年创新人才培养计划项目资助(LYM09121);深圳市科技计划项目(JC200903120046A;JC201005280434A)资助
目前无论在学术界还是工业界,很多人士简单地将面向方面程序设计理解为模块化横切关注点,狭隘地认为面向方面程序设计构建在面向对象程序设计之上,是面向对象程序设计的扩展、有效的补充等。回顾了面向方面程序设计的定义,分析了面向方...
关键词：面向方面程序设计 面向方面程序设计语言 横切关注点 Quantification Obliviousness 
全选清除导出
共4页<1234>
检索报告 对象比较 聚类工具 使用帮助 返回顶部