基于构件软件的面向可靠安全Aspects建模和一体化开发方法研究
批准号：
60503032
项目类别：
青年科学基金项目
资助金额：
23.0 万元
负责人：
毛晓光
依托单位：
学科分类：
软件理论、软件工程与服务
结题年份：
2008
批准年份：
2005
项目状态：
已结题
项目参与者：
徐锡山、叶常春、马晓东、颜炯、陈建荣、唐赞岳、熊健
项目摘要
结项摘要
项目成果
毛晓光的其他基金
相似基金
相关文献
中文摘要
以基于构件软件（Component-Based Software,简称CBS）开发和可靠安全性质保障技术的特殊性为出发点，借鉴先进的软件理论和开发方法，研究兼容先进可靠安全性质保障技术的可靠安全Aspects建模和一体化开发方法。项目通过安全案例和失效案例分析，获取基于构件软件的可靠安全Aspects，然后利用一体化的面向Aspect开发方法完成构件集成。而利用面向可靠安全Aspects的分析和设计模式覆盖常见的保障技术。主要研究内容包括：一体化面向Aspects编程技术和平台支持；安全案例和失效案例分析技术融合；针对可靠安全性质的面向Aspects分析和设计的方法和模式；基于场景序列的构件软件可靠安全性质建模和可靠安全性质分析和估计。最终为基于构件软件的面向可靠安全Aspects的开发提供从建模到实现的全方位支持。
英文摘要
期刊论文列表
专著列表
科研奖励列表
会议论文列表
专利列表
登录
查看更多内容
DOI：
--
发表时间：
--
期刊：
电子学报
影响因子：
--
作者：
[陈火旺, 虞蕾]
通讯作者：
虞蕾
Shape Analysis by Refining on Abstract Evaluation Path
通过细化抽象评估路径进行形状分析
通过细化抽象评估路径进行形状分析
DOI：
--
发表时间：
--
期刊：
Electronic Notes in Theoretical Computer Science
影响因子：
--
作者：
[Xiaodong Ma, Ji Wang, Wei Dong]
通讯作者：
Wei Dong
DOI：
--
发表时间：
--
期刊：
计算机工程与科学
影响因子：
--
作者：
[洪贵, 毛晓光]
通讯作者：
毛晓光
Demand-Driven Memory Leak Detection Based on Floa-and Context-Sensitive Pointer Analysis
基于浮点和上下文敏感指针分析的需求驱动的内存泄漏检测
基于浮点和上下文敏感指针分析的需求驱动的内存泄漏检测
DOI：
--
发表时间：
--
期刊：
计算机科学技术学报(英文版)
影响因子：
--
作者：
[Dong Wei, Wang Ji, Ma Xiaodong, Xu Houfeng, Liu Wanwei]
通讯作者：
Liu Wanwei
DOI：
--
发表时间：
--
期刊：
计算机应用研究
影响因子：
--
作者：
[文斌, 毛晓光]
通讯作者：
毛晓光
共 13 条
依托开源软件资源的移植型自动修复技术研究
-
批准号：61672529
-
项目类别：面上项目
-
资助金额：63.0万元
-
批准年份：2016
-
负责人：毛晓光
-
依托单位：
软件自动修复技术研究
-
批准号：61379054
-
项目类别：面上项目
-
资助金额：78.0万元
-
批准年份：2013
-
负责人：毛晓光
-
依托单位：
国内基金
海外基金