基本信息来源于合作网站,原文需代理用户跳转至来源网站获取       
摘要:
可拓学的核心是建立灵活变通地应对不确定变化和灵感涌现的适应性模型. 讨论引入可拓理论去描述、分析和评价软件系统的自适应性质、范围和程度的可能性. 用基元描述软件实体,将软件系统构造成基元网,利用拓展分析、可拓变换和优度评价等定性与定量相结合的方法揭示了自适应软件系统的动态性质,并形成了一种自适应软件形式化方法.
推荐文章
基于MDA的MARTE模型形式化方法
模型驱动体系
形式化方法
模型转换
MARTE元模型
软件开发的形式化方法在程序测试中的应用
软件工程
形式化方法
程序测试
软件需求获取形式化的案例研究
需求获取
UML
用例驱动
B方法
形式化需求
应用ETDFA生成CBTC联锁软件形式化模型的方法
CBTC
联锁软件
ETDFA
形式化方法
内容分析
关键词云
关键词热度
相关文献总数  
(/次)
(/年)
文献信息
篇名 基于可拓学的自适应软件形式化方法
来源期刊 智能系统学报 学科 工学
关键词 可拓学 可拓基元 拓展分析 可拓变换 优度评价 形式化方法 自适应软件
年,卷(期) 2015,(6) 所属期刊栏目
研究方向 页码范围 901-911
页数 11页 分类号 TP311
字数 7550字 语种 中文
DOI 10.11992/tis.201507043
五维指标
作者信息
序号 姓名 单位 发文数 被引次数 H指数 G指数
1 彭银桥 广东海洋大学软件学院 12 85 4.0 9.0
2 陈月峰 广东海洋大学软件学院 11 52 4.0 7.0
3 雷桂斌 广东海洋大学软件学院 12 11 2.0 3.0
4 范锐 广东海洋大学软件学院 4 10 2.0 3.0
5 刘小辉 广东海洋大学财务处 1 6 1.0 1.0
传播情况
(/次)
(/年)
引文网络
引文网络
二级参考文献  (375)
共引文献  (587)
参考文献  (38)
节点文献
引证文献  (6)
同被引文献  (18)
二级引证文献  (4)
1963(1)
  • 参考文献(0)
  • 二级参考文献(1)
1966(1)
  • 参考文献(0)
  • 二级参考文献(1)
1968(1)
  • 参考文献(0)
  • 二级参考文献(1)
1971(1)
  • 参考文献(0)
  • 二级参考文献(1)
1972(1)
  • 参考文献(0)
  • 二级参考文献(1)
1978(1)
  • 参考文献(0)
  • 二级参考文献(1)
1983(2)
  • 参考文献(0)
  • 二级参考文献(2)
1986(1)
  • 参考文献(0)
  • 二级参考文献(1)
1987(1)
  • 参考文献(0)
  • 二级参考文献(1)
1988(2)
  • 参考文献(0)
  • 二级参考文献(2)
1992(3)
  • 参考文献(0)
  • 二级参考文献(3)
1993(1)
  • 参考文献(0)
  • 二级参考文献(1)
1994(2)
  • 参考文献(0)
  • 二级参考文献(2)
1995(5)
  • 参考文献(0)
  • 二级参考文献(5)
1996(5)
  • 参考文献(0)
  • 二级参考文献(5)
1997(4)
  • 参考文献(0)
  • 二级参考文献(4)
1998(12)
  • 参考文献(0)
  • 二级参考文献(12)
1999(18)
  • 参考文献(1)
  • 二级参考文献(17)
2000(21)
  • 参考文献(0)
  • 二级参考文献(21)
2001(18)
  • 参考文献(0)
  • 二级参考文献(18)
2002(17)
  • 参考文献(1)
  • 二级参考文献(16)
2003(27)
  • 参考文献(3)
  • 二级参考文献(24)
2004(21)
  • 参考文献(0)
  • 二级参考文献(21)
2005(38)
  • 参考文献(1)
  • 二级参考文献(37)
2006(54)
  • 参考文献(3)
  • 二级参考文献(51)
2007(34)
  • 参考文献(4)
  • 二级参考文献(30)
2008(28)
  • 参考文献(0)
  • 二级参考文献(28)
2009(27)
  • 参考文献(3)
  • 二级参考文献(24)
2010(21)
  • 参考文献(5)
  • 二级参考文献(16)
2011(21)
  • 参考文献(5)
  • 二级参考文献(16)
2012(13)
  • 参考文献(3)
  • 二级参考文献(10)
2013(7)
  • 参考文献(6)
  • 二级参考文献(1)
2014(3)
  • 参考文献(2)
  • 二级参考文献(1)
2015(1)
  • 参考文献(1)
  • 二级参考文献(0)
2015(1)
  • 参考文献(1)
  • 二级参考文献(0)
  • 引证文献(0)
  • 二级引证文献(0)
2017(4)
  • 引证文献(3)
  • 二级引证文献(1)
2018(1)
  • 引证文献(1)
  • 二级引证文献(0)
2019(5)
  • 引证文献(2)
  • 二级引证文献(3)
研究主题发展历程
节点文献
可拓学
可拓基元
拓展分析
可拓变换
优度评价
形式化方法
自适应软件
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
智能系统学报
双月刊
1673-4785
23-1538/TP
大16开
哈尔滨市南岗区南通大街145-1号楼
2006
chi
出版文献量(篇)
2770
总下载数(次)
11
总被引数(次)
12401
论文1v1指导