原文服务方: 计算机应用研究       
摘要:
如何在开发阶段通过提高系统的可监控性从而提升软件可信性是当前的研究热点,这些研究取得了重要成果,但是还存在许多亟待解决的关键问题.针对这些问题,通过对现有研究成果的综述,在借助面向方面设计思想的基础上,设计了基于监控的可信软件构造模型TSCM,并以基于监控的可信软件开发环境TSIDE为背景分析了模型的实现要点和应用实例,最后分析了模型的主要特色.
推荐文章
基于形式化监控的可信软件构造模型
运行时监控
确定有限自动机
面向方面编程
基于监控的可信网构软件构造方法建模
网构软件
可信度
软件监控
软件构造模型
Petrel构造模型质量控制方法研究
地质建模
构造模型
断层模型
质量控制
面向可信软件的风险管理模型研究
软件可信性
风险管理
贝叶斯信仰网络
约束满足
内容分析
关键词云
关键词热度
相关文献总数  
(/次)
(/年)
文献信息
篇名 基于监控的可信软件构造模型研究与实现
来源期刊 计算机应用研究 学科
关键词 可信软件 基于方面的编程 监控 模型
年,卷(期) 2009,(12) 所属期刊栏目 软件技术研究
研究方向 页码范围 4585-4588
页数 4页 分类号 TP339
字数 语种 中文
DOI 10.3969/j.issn.1001-3695.2009.12.051
五维指标
作者信息
序号 姓名 单位 发文数 被引次数 H指数 G指数
1 王怀民 国防科学技术大学计算机学院 119 3450 29.0 56.0
2 张瞩熹 国防科学技术大学计算机学院 7 148 7.0 7.0
6 李仁杰 2 22 2.0 2.0
传播情况
(/次)
(/年)
引文网络
引文网络
二级参考文献  (20)
共引文献  (191)
参考文献  (6)
节点文献
引证文献  (15)
同被引文献  (9)
二级引证文献  (10)
1968(1)
  • 参考文献(0)
  • 二级参考文献(1)
1969(1)
  • 参考文献(0)
  • 二级参考文献(1)
1985(1)
  • 参考文献(0)
  • 二级参考文献(1)
1987(1)
  • 参考文献(0)
  • 二级参考文献(1)
1989(1)
  • 参考文献(0)
  • 二级参考文献(1)
1995(1)
  • 参考文献(0)
  • 二级参考文献(1)
1996(2)
  • 参考文献(0)
  • 二级参考文献(2)
2001(6)
  • 参考文献(0)
  • 二级参考文献(6)
2002(4)
  • 参考文献(1)
  • 二级参考文献(3)
2003(4)
  • 参考文献(2)
  • 二级参考文献(2)
2005(1)
  • 参考文献(0)
  • 二级参考文献(1)
2006(2)
  • 参考文献(2)
  • 二级参考文献(0)
2007(1)
  • 参考文献(1)
  • 二级参考文献(0)
2009(0)
  • 参考文献(0)
  • 二级参考文献(0)
  • 引证文献(0)
  • 二级引证文献(0)
2010(3)
  • 引证文献(3)
  • 二级引证文献(0)
2011(4)
  • 引证文献(4)
  • 二级引证文献(0)
2012(3)
  • 引证文献(0)
  • 二级引证文献(3)
2013(8)
  • 引证文献(4)
  • 二级引证文献(4)
2014(2)
  • 引证文献(2)
  • 二级引证文献(0)
2015(3)
  • 引证文献(1)
  • 二级引证文献(2)
2016(2)
  • 引证文献(1)
  • 二级引证文献(1)
研究主题发展历程
节点文献
可信软件
基于方面的编程
监控
模型
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
计算机应用研究
月刊
1001-3695
51-1196/TP
大16开
1984-01-01
chi
出版文献量(篇)
21004
总下载数(次)
0
总被引数(次)
238385
相关基金
国家高技术研究发展计划(863计划)
英文译名:The National High Technology Research and Development Program of China
官方网址:http://www.863.org.cn
项目类型:重点项目
学科类型:信息技术
论文1v1指导