| 一种基于构件的软件体系结构求精方法及其应用 |
| 其他题名 | component-based software architecture refinement and its application
|
| 晏荣杰; 张广泉
|
| 2003
|
| 发表期刊 | 重庆师范学院学报(自然科学版)
 |
| ISSN | 1672-6693
|
| 卷号 | 20期号:2页码:1-5 |
| 摘要 | 软件体系结构是软件工程学科中一个较新的研究领域,目前对软件体系结构的形式化描述及求精方法的研究仍处于探索阶段.本文首先分析了基于行为替代、基于风格的体系结构求精方法的特点和不足,然后提出一种基于构件的体系结构求精方法,并以时序逻辑语言XYZ/E作为软件体系结构的形式化描述语言,通过一个具体开发实例对基于构件的体系结构求精方法及过程作了进一步论述. |
| 收录类别 | wanfang
; cnki
|
| 关键词 | 软件体系结构
构件
形式化描述
求精
Xyz/e
基于构件
软件体系结构
方法及
应用
求精方法
形式化描述
时序逻辑语言
研究领域
描述语言
开发实例
基于行为
工程学科
风格
|
| 部门归属 | 华北电力大学计算机科学工程系,河北,保定,071003;中国科学院软件所计算机科学重点实验室,北京,100080;重庆师范学院数学与计算机科学学院,重庆,400047;中国科学院软件所计算机科学重点实验室,北京,100080
|
| 语种 | 中文
|
| 内容类型 | 期刊论文
|
| URI标识 | http://ir.iscas.ac.cn/handle/311060/13060
|
| 专题 | 中国科学院软件研究所
|
推荐引用方式
GB/T 7714 |
晏荣杰,张广泉. 一种基于构件的软件体系结构求精方法及其应用[J]. 重庆师范学院学报(自然科学版),2003,20(2):1-5.
|
| APA |
晏荣杰,&张广泉.(2003).一种基于构件的软件体系结构求精方法及其应用.重庆师范学院学报(自然科学版),20(2),1-5.
|
| MLA |
晏荣杰,et al."一种基于构件的软件体系结构求精方法及其应用".重庆师范学院学报(自然科学版) 20.2(2003):1-5.
|
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。
修改评论