基本信息来源于合作网站,原文需代理用户跳转至来源网站获取       
摘要:
用软件体系结构描述语言WRIGHT对三层C/S模型进行形式化描述,指出这种描述的优点以及软件体系结构模型形式化研究的重要性.
推荐文章
多Agent系统的形式化开放混合体系结构模型研究
多Agent系统
体系结构
开放环境
形式描述
Z++
协作
交互
面向方面软件体系结构编织的形式化描述方法
软件体系结构
面向方面的模型描述
形式化描述
结构编织
Petri 网
并行程序开发平台体系结构的形式化研究
软件体系结构
软件体系结构描述语言
并行计算
形式化描述
基于动态体系结构的形式化描述
动态演化
动态体系
Z体系
内容分析
关键词云
关键词热度
相关文献总数  
(/次)
(/年)
文献信息
篇名 软件体系结构模型的形式化研究
来源期刊 计算机与现代化 学科 工学
关键词 软件体系结构 软件体系结构描述语言 WRIGHT 三层C/S模型 形式化研究
年,卷(期) 2003,(4) 所属期刊栏目 软件工程
研究方向 页码范围 49-51
页数 3页 分类号 TP311.5
字数 2186字 语种 中文
DOI 10.3969/j.issn.1006-2475.2003.04.016
五维指标
作者信息
序号 姓名 单位 发文数 被引次数 H指数 G指数
1 徐正权 华中科技大学计算机学院 29 301 10.0 16.0
2 海沫 华中科技大学计算机学院 3 22 2.0 3.0
传播情况
(/次)
(/年)
引文网络
引文网络
二级参考文献  (0)
共引文献  (0)
参考文献  (1)
节点文献
引证文献  (13)
同被引文献  (4)
二级引证文献  (11)
2000(1)
  • 参考文献(1)
  • 二级参考文献(0)
2003(1)
  • 参考文献(0)
  • 二级参考文献(0)
  • 引证文献(1)
  • 二级引证文献(0)
2003(1)
  • 引证文献(1)
  • 二级引证文献(0)
2004(1)
  • 引证文献(1)
  • 二级引证文献(0)
2005(2)
  • 引证文献(2)
  • 二级引证文献(0)
2006(4)
  • 引证文献(4)
  • 二级引证文献(0)
2007(2)
  • 引证文献(2)
  • 二级引证文献(0)
2008(1)
  • 引证文献(1)
  • 二级引证文献(0)
2009(1)
  • 引证文献(1)
  • 二级引证文献(0)
2011(1)
  • 引证文献(1)
  • 二级引证文献(0)
2012(3)
  • 引证文献(0)
  • 二级引证文献(3)
2013(2)
  • 引证文献(0)
  • 二级引证文献(2)
2014(1)
  • 引证文献(0)
  • 二级引证文献(1)
2015(4)
  • 引证文献(0)
  • 二级引证文献(4)
2018(1)
  • 引证文献(0)
  • 二级引证文献(1)
研究主题发展历程
节点文献
软件体系结构
软件体系结构描述语言
WRIGHT
三层C/S模型
形式化研究
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
计算机与现代化
月刊
1006-2475
36-1137/TP
大16开
南昌市井冈山大道1416号
44-121
1985
chi
出版文献量(篇)
9036
总下载数(次)
25
总被引数(次)
56782
论文1v1指导