公共文化服务平台

搜索到761篇“ 面向方面程序“的相关文章

面向方面程序的动态语义研究: 2018年; 目前,针对面向方面程序,许多研究者已定义了各种各样的形式语义。但是,没有一种语义能被软件设计者和开发者所理解。针对该问题,在已有研究的基础上,应用统一程序理论中的设计来定义面向方面的动态语义。同时,以一个例子来说明该语义的使用。; 谢刚蒋强石磊; 关键词：面向方面程序语义

面向方面程序的精化演算框架被引量：1: 2018年; 面向方面程序越来越受到软件工程领域研究者的重视.精化演算已经广泛应用到各种程序设计中,以消除开发过程中的错误.利用精化演算和统一程序理论定义一种面向方面程序的精化演算框架.在该框架中,首先定义了面向方面程序的精化,在此基础上,提出了12条可靠的精化规则,最后用一个例子说明了该框架的可行性.; 谢刚张明义杨波; 关键词：精化

面向方面程序的静态语义研究被引量：2: 2017年; 针对面向方面程序,许多研究者已定义了各种各样的形式语义。但是这些语义都不能够全面、准确地对面向方面程序的规范和方面声明部分进行描述。针对该问题,首先定义一种统一的面向方面程序的规范语言;其次对面向方面程序中的连接点和切点这两个重要概念进行形式化定义;再次引入结构变量表示面向方面程序的基本结构;最后应用统一程序理论中的设计定义面向方面的静态语义,并对其可靠性进行证明。同时,用一个例子说明该语义的使用。; 谢刚韦立吴祥; 关键词：面向方面程序语义

面向方面程序设计(AOP)在Web程序中的应用研究: JavaScript是一种在 Web程序应用中得到了广泛应用的面向对象的语言。而随着 Web技术的高速发展，JavaScript程序的规模也越来越大。许多功能相同的代码分散在 JavaScript程序的各个不同模块中，使...; 黄文豪; 关键词：WEB程序编程语言

面向方面程序的属性推断: 2013年; 为简化面向方面程序(aspect-oriented programming,AOP)的形式化验证问题,Djoko等人对aspect进行了系统的分类,并确定了每类aspect能够保持的属性.分类之一的observer指一类对基程序的变量只读不写,且不修改其控制流的aspect,这类aspect能够保持所有的不包含Next算子的安全属性和活性属性.Djoko等人的工作可以避免针对织后程序的直接验证.在Djoko等人工作的基础上,提出了一种新的aspect分类——functor,并提出了属性推断的概念.functor是一种仅在特定条件下修改基程序性质的aspect.functor的确会造成基程序已有性质的失效,但却是以一种可预测的方式.属性推断就是根据基程序已有的性质和functor的特有性质,直接推断出织后程序的性质.functor同样避免了针对织后程序的直接验证,是对Djoko等人工作的重要补充.; 叶俊谭庆平李暾; 关键词：面向方面程序形式化验证

Java面向方面程序设计概述: 2013年; 在计算机系统应用越来越广泛的今天,应用软件的规模不断扩大,复杂度不断提高,过程化程序设计、面向对象程序设计等传统的软件开发方法已渐渐不能适应这种变化。于是,一种新的程序开发方法:面向方面的编程(AOP:Aspect Oriented Programming)研究引起了国内外广泛关注。阐述了AOP产生的背景,介绍了Java程序设计相关的AOP主要框架及其应用实例。; 谢朋宇李林峰; 关键词：AOP 切面 ASPECTJ

从面向方面程序设计的定义到面向方面程序设计语言被引量：9: 2011年; 目前无论在学术界还是工业界,很多人士简单地将面向方面程序设计理解为模块化横切关注点,狭隘地认为面向方面程序设计构建在面向对象程序设计之上,是面向对象程序设计的扩展、有效的补充等。回顾了面向方面程序设计的定义,分析了面向方面程序设计区别于其它程序设计方法的本质特征,并形式化了定义中的量化语句与方面,给出了量化语句与方面的语义。重申了面向方面程序设计的本质特性是Quantification与Obliviousness,模块化横切关注点只是其带来的一个好处。同时指出了面向方面程序设计是一种新型的程序设计范式,独立于面向对象等其它程序设计方法。并且,基于此定义,给出了面向方面程序设计语言需满足的最小条件集,并比较了主流的面向方面程序设计语言,探讨了这些语言在面向方面程序设计理念上的差异。; 古思山蔡树彬李师贤; 关键词：面向方面程序设计横切关注点

面向方面程序切片技术及其在测试数据生成中的应用: 随着软件技术的迅速发展，软件系统的规模不断扩大，对系统模块化要求也越来越高。面向方面编程(AOP)作为一种新的软件开发范型，利用方面来实现横切关注点的模块化，使系统的可维护性更好，成功地解决了面向对象编程中存在的代码缠结...; 黄静; 关键词：程序切片系统依赖图测试数据生成软件开发面向方面编程; 文献传递

面向方面程序的简化动态依赖图切片方法: 2011年; 程序切片是一种重要的程序分析技术,广泛应用于程序的调试、测试与维护等领域。面向方面程序设计作为一种新的软件开发范型,能够实现横切关注点的模块化,其特有的语言元素和功能为切片增加了难度。从静态切片和动态切片两种类型,讨论了面向方面程序切片技术。在此基础上,提出了一种基于简化动态依赖图的面向方面程序切片方法,可以减少动态依赖图中节点和边的数量,生成准确的面向方面程序的动态切片,从而有助于人们更好地对面向方面程序进行分析和理解。; 张广泉黄静章晓芳刘长林; 关键词：面向方面程序动态切片

面向方面程序设计语言研究综述被引量：10: 2010年; 作为控制软件复杂性、提高软件模块化程度、增强软件开发灵活性的重要技术手段之一,面向方面程序设计语言经过十多年的发展,日益受到软件研究者和实践者的关注,并发展成为软件工程的一个重要的研究领域。基于该领域近十年来的研究进展,分析总结了面向方面程序设计语言中的主要语言特性和关键实现技术;按照不同的语言特性对面向方面程序设计语言进行分类,并探讨了其发展与研究方向。; 唐祖锴彭智勇; 关键词：面向方面程序设计连接点

相关作者