代子营

作品数：2被引量：2H指数：1
导出分析报告
供职机构：国防科学技术大学更多>>
发文主题：规约内存模型脚本文件模式构造模版更多>>
发文领域：自动化与计算机技术更多>>
发文期刊：《计算机工程与科学》更多>>
所获基金：国家高技术研究发展计划更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-2
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于抽象符号表的内存模型被引量：1
《计算机工程与科学》2011年第6期84-90,共7页代子营 毛晓光 马晓东 王瑞 
国家863计划资助项目(2007AA010301)
符号执行技术在软件测试和程序验证中发挥着重要作用。如何抽象和处理程序中各种数据类型和语法成分是符号执行必须解决的问题。本文提出抽象符号表的概念,以及基于抽象符号表建模内存的方法。抽象符号表记录可寻址对象的名称、类型、...
关键词：符号执行 内存模型 抽象符号表 程序分析 
面向方面体系结构建模研究被引量：1
《计算机工程与科学》2011年第6期97-101,共5页王瑞 毛晓光 代子营 王燕妮 
国家863计划资助项目(2007AA010301)
面向方面体系结构建模是面向方面软件开发(AOSD)的重要组成部分,也是近些年面向方面领域研究的热点问题。传统的软件体系结构设计方法没有单独地考虑横切关注点。因此,在软件体系结构设计阶段,建模人员需要新的机制来描述这些横切关注...
关键词：面向方面 体系结构 建模 横切关注点 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部