您的位置： 专家智库 > >

梁睿

作品数：2 被引量：0H指数：0
供职机构：兰州大学信息科学与工程学院更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 2篇国内会议论文

领域

  • 2篇自动化与计算...

主题

  • 2篇时序逻辑
  • 2篇线性时序逻辑
  • 2篇面向切面编程
  • 2篇编程
  • 2篇AOP
  • 1篇注解
  • 1篇连接点

机构

  • 2篇兰州大学

作者

  • 2篇梁睿
  • 2篇张自强
  • 2篇刘林霞

传媒

  • 1篇全国第20届...

年份

  • 2篇2009
共 2 条 记 录，以下是 1-2
全选 清除 导出
排序方式：
基于运行时验证的AOP程序检测框架
目前面向切面编程的研究侧重于语言本身的实现和应用,而对AOP程序的检查和验证的相关研究十分缺乏。针对目前的需求,本文提出一种基于运行时验证的框架来验证AOP程序,使得AOP程序中横切关注点的验证得以实现。在这种框架中,程...
梁睿刘林霞张自强
关键词：面向切面编程连接点线性时序逻辑注解
文献传递
基于运行时验证的AOP程序检测框架
目前面向切面编程的研究侧重于语言本身的实现和应用,而对AOP程序的检查和验证的相关研究十分缺乏。针对目前的需求,本文提出一种基于运行时验证的框架来验证AOP程序,使得AOP程序中横切关注点的验证得以实现。在这种框架中,程...
梁睿刘林霞张自强
关键词：面向切面编程线性时序逻辑
文献传递
全选 清除 导出
共1页<1>
聚类工具0