国家自然科学基金(60503032)

作品数：9被引量：7H指数：1
导出分析报告
相关作者：毛晓光彭中雷晏王承松洪贵更多>>
相关机构：国防科学技术大学第二炮兵工程学院华东计算技术研究所湖南商学院更多>>
相关期刊：《计算机工程与设计》《电子学报》《计算机应用研究》《计算机研究与发展》更多>>
相关主题：对象约束语言面向方面编程面向方面软件开发DIAGRAMBMC更多>>
相关领域：自动化与计算机技术更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-9
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于UML的可信概念模型
《计算机研究与发展》2010年第S1期209-215,共7页王承松 毛晓光 雷晏 王燕妮 
国家自然科学基金项目(60503032);国家"八六三"高技术研究发展计划基金项目(2006AA01Z178;2007AA010301)
随着计算机在国民经济和国防领域中的广泛应用,可信性质已经成为评价计算机系统非功能性的重要指标.从形式化表示机制的角度,应用UML语言建立了计算机系统的可信概念模型.首先给出了可信概念的高层次抽象UML类图,然后分别描述了可信性...
关键词：高可信 UML 概念模型 
基于AOP技术的软件性质监控框架被引量：1
《计算机科学》2010年第3期165-169,共5页雷晏 毛晓光 王承松 
国家自然科学基金(编号:60503032);国家863计划课题(编号:2006AA01Z178;2007AA010301)资助
针对软件运行时可信保障存在的相关问题,提出了基于AOP技术的软件性质监控框架。本框架使用OCL(Object Constraint Language)和UML Profile的SPT(Schedulability,Performance and Time)规范实现了软件性质在模型上的描述,基于描述并独...
关键词：监控框架 SPT规范 软件性质 对象约束语言 面向方面编程 
基于OCL的面向方面监控框架被引量：1
《计算机工程》2009年第13期17-19,60,共4页彭中 毛晓光 
国家自然科学基金资助项目(60503032);国家"863"计划基金资助项目(2006AA01Z178;2007AA010301)
基于面向方面编程技术提出一种软件性质监控框架。该框架根据对象约束语言的约束条件生成监控方面,对监控方面与被监控软件进行编织,使软件在运行时具备发现约束违背的能力。使用模型约束检查工具USE可以进一步分析违约信息,实现其在模...
关键词：对象约束语言 面向方面编程 监控框架 
基于方面的实时特性的研究与实现
《计算机工程与设计》2009年第11期2606-2609,2636,共5页张秀梅 毛晓光 
国家自然科学基金项目(60503032)
针对实时系统中实时特性横切整个系统,跨越多个对象和模块,与核心功能混杂在一起,给这类系统的设计和维护带来很大风险和困难,而传统的软件开发方法又不能很好地解决这些问题的特点。利用面向方面(Aspect-Oriented)技术对横切特性具有...
关键词：实时特性 方面 周期 调度 ASPECTJ 
PSL的有界模型检验被引量：2
《电子学报》2009年第3期614-621,共8页虞蕾 赵宗涛 
国家高技术研究发展计划(863计划)课题(No.2007AA010301);国家自然科学基金(No.60503032);中国博士后科学基金(No.20080431401)
基于SAT的有界模型检验被视为是基于OBDD的符号化模型检验技术的重要补充,是并行反应式系统的一种有效验证方法.然而,直至现在,有界模型检验已验证的属性逻辑还十分有限.PSL是一种用于描述并行系统的属性规约语言(IEEE-1850),包括线性...
关键词：PSL(property specification language) 有界模型检验(bounded model checking BMC) SAT(propositional satisfiability) OBDD(ordered binary decision diagram) 
植入式安全性质监控技术
《计算机工程》2008年第B09期60-62,共3页彭中 毛晓光 谢彬 
国家自然科学基金资助项目(60503032);国家“863”计划课题基金资助项目(2006AA01Z178,2007AA010301)
针对安全性质,提出一种植入式监控方法。使用OCL(Object Constraint Language)实现安全性质在模型上的描述,并将OCL约束转化为Java监控代码,从而实现监控信息由模型到代码的映射。该方法采用AOP(Aspect-Oriented Programming)技术将监...
关键词：安全性质 监控 对象约束语言 面向方面编程 
角色建模工具RModeler的设计与实现
《计算机应用研究》2008年第4期1257-1260,共4页文斌 毛晓光 
国家自然科学基金资助项目(60233020,60503032)
提倡在对象技术中基于角色识别对象及其协调关系,然后展开到类模型、接口模型、实体模型,同时对角色模型的形式化定义和表示方法进行了系统地研究,并在此基础上设计和实现了基于RML的可视化角色建模工具RModeler。RModeler目前完成了代...
关键词：角色 角色模型 角色建模语言 软件工具 扩展元数据交换 
面向方面软件开发:理念和观察被引量：3
《计算机工程与科学》2007年第11期94-96,121,共4页洪贵 毛晓光 
国家自然科学基金资助项目(60503032);国家863计划资助项目(2006AA01Z178)
面向方面软件开发是近年来软件开发领域出现的一个重要的前沿研究方向。本文从软件开发方法和方面的哲学基础探讨面向方面软件开发(AOSD)的根本和理念,并以此为指导,追寻其发展历程,明确AOSD未来发展的目标和核心关注点。
关键词：面向方面软件开发 理念 方法学 
基于序列的可靠性分析方法
《计算机工程与科学》2006年第11期123-125,F0003,共4页常曦 毛晓光 熊建 薛建新 
国家自然科学基金资助项目(60503032)
随着软构件技术的快速发展,基于构件设计复杂软件系统的软件开发方法日趋成熟。如何利用系统架构和软构件的可靠性分析软件系统的可靠性成为一个亟待解决的问题。软件是静态的,而开发过程是动态的。为了在动态的开发过程中跟踪可靠性,...
关键词：软件可靠性分析 序列 基于构件软件 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部