软件体系结构的形式化方法研究

软件体系结构的形式化方法研究软件体系结构研究如果仅仅停留在非形式化的框图阶段，已经难以适应进一步发展的需 要。为支持基于体系结构的开发，需要有形式化建模符号、体系结构说明的分析与开发工具。 从软件体系