国家高技术研究发展计划(2006AA01Z178)

作品数:4被引量:5H指数:1
导出分析报告
相关作者:毛晓光洪贵唐赞岳雷晏王戟更多>>
相关机构:国防科学技术大学北京市遥感信息研究所华东计算技术研究所更多>>
相关期刊:《计算机工程》《计算机工程与科学》《计算机科学》更多>>
相关主题:对象约束语言面向方面编程面向方面软件开发AOP技术工程环境更多>>
相关领域:自动化与计算机技术更多>>
-

检索结果分析

结果分析中...
条 记 录,以下是1-4
视图:
排序:
基于AOP技术的软件性质监控框架被引量:1
《计算机科学》2010年第3期165-169,共5页雷晏 毛晓光 王承松 
国家自然科学基金(编号:60503032);国家863计划课题(编号:2006AA01Z178;2007AA010301)资助
针对软件运行时可信保障存在的相关问题,提出了基于AOP技术的软件性质监控框架。本框架使用OCL(Object Constraint Language)和UML Profile的SPT(Schedulability,Performance and Time)规范实现了软件性质在模型上的描述,基于描述并独...
关键词:监控框架 SPT规范 软件性质 对象约束语言 面向方面编程 
植入式安全性质监控技术
《计算机工程》2008年第B09期60-62,共3页彭中 毛晓光 谢彬 
国家自然科学基金资助项目(60503032);国家“863”计划课题基金资助项目(2006AA01Z178,2007AA010301)
针对安全性质,提出一种植入式监控方法。使用OCL(Object Constraint Language)实现安全性质在模型上的描述,并将OCL约束转化为Java监控代码,从而实现监控信息由模型到代码的映射。该方法采用AOP(Aspect-Oriented Programming)技术将监...
关键词:安全性质 监控 对象约束语言 面向方面编程 
面向方面软件开发:理念和观察被引量:3
《计算机工程与科学》2007年第11期94-96,121,共4页洪贵 毛晓光 
国家自然科学基金资助项目(60503032);国家863计划资助项目(2006AA01Z178)
面向方面软件开发是近年来软件开发领域出现的一个重要的前沿研究方向。本文从软件开发方法和方面的哲学基础探讨面向方面软件开发(AOSD)的根本和理念,并以此为指导,追寻其发展历程,明确AOSD未来发展的目标和核心关注点。
关键词:面向方面软件开发 理念 方法学 
一个集成的软件可靠性工程环境被引量:1
《计算机工程与科学》2007年第7期116-118,共3页唐赞岳 毛晓光 王戟 徐锡山 董威 
国家自然科学基金资助项目(60233020;60503032);国家863计划资助项目(2006AA01Z178)
针对软件可靠性工程实施中发现的核心问题,本文介绍了我们在软件可靠性关键技术上取得的突破,以及以此为支撑的集成环境SREE。该系统依托Eclipse,支持软件可靠性工程的关键活动:使用模型生成和构建、软件可靠性测试、软件可靠性评估和...
关键词:软件可靠性 工程环境 使用模型 测试 评估 
检索报告 对象比较 聚类工具 使用帮助 返回顶部