关于软件体系结构的形式化描述

• 作者: 方风波
• 来源期刊: 电脑知识与技术：学术交流
• 学科: 工学
• 关键词: 软件体系结构 形式化描述 体系结构风格 体系结构描述语言
• 年，卷（期）: 2007,（4）
• 页码范围: 159-160
• 页数: 2页
• 分类号: TP311

摘要

软件体系结构已成为软件工程研究和实践的主要领域，而形式模型和形式分析技术是成熟工程学科的基石。本文论述了用形式化方法来刻画各种体系结构风格的优越性，并介绍了几种以形式化语言为理论基础的体系结构描述语言。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	方风波		17	41	4.0	5.0