| 软件体系结构求精方法研究 |
| 其他题名 | refinement methods for software architecture
|
| 戎玫; 张广泉
|
| 2003
|
| 发表期刊 | 计算机科学
 |
| ISSN | 1002-137X
|
| 卷号 | 30期号:4页码:108-110 |
| 收录类别 | wanfang
; cnki
|
| 其他摘要 | Software architecture is the highest-level abstraction of a system. It provides a model of the large-scale structural properties of systems. Recently, software architecture has been an important research sub-field of software engineering. In this paper,ou |
| 关键词 | Software Architecture
Component-based
Refinement
Xyz/e
Temporal Logic Language
软件体系结构
方法研究
Software Architecture
Software Architecture
Architectural Design
Structural Properties
Software Engineering
Dynamic Semantics
Research Work
Methods For
Methods Of
|
| 部门归属 | 暨南大学中旅学院计算机中心 深圳 518053;苏州大学计算机科学与技术学院 苏州 215006；中国科学院软件所计算机科学重点实验室 北京 100080
|
| 语种 | 中文
|
| 内容类型 | 期刊论文
|
| URI标识 | http://ir.iscas.ac.cn/handle/311060/13078
|
| 专题 | 中国科学院软件研究所
|
推荐引用方式
GB/T 7714 |
戎玫,张广泉. 软件体系结构求精方法研究[J]. 计算机科学,2003,30(4):108-110.
|
| APA |
戎玫,&张广泉.(2003).软件体系结构求精方法研究.计算机科学,30(4),108-110.
|
| MLA |
戎玫,et al."软件体系结构求精方法研究".计算机科学 30.4(2003):108-110.
|
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。
修改评论