|
|||||
|
|
| 关于软件体系结构的形式化描述 | |
| 引用本文： | 方风波.关于软件体系结构的形式化描述[J].数字社区&智能家居,2007(4):159-160. |
| 作者姓名： | 方风波 |
| 作者单位： | 荆州职业技术学院,湖北荆州434020 |
| 摘 要： | 软件体系结构已成为软件工程研究和实践的主要领域，而形式模型和形式分析技术是成熟工程学科的基石。本文论述了用形式化方法来刻画各种体系结构风格的优越性，并介绍了几种以形式化语言为理论基础的体系结构描述语言。 |
| 关 键 词： | 软件体系结构 形式化描述 体系结构风格 体系结构描述语言 |
| 文章编号： | 1009-3044（2007）07-20159-02 |
| 收稿时间： | 2007-01-17 |
| 本文献已被 维普 等数据库收录！ | |