软件体系结构的形式化描述与分析(共3页).doc

精选优质文档-倾情为你奉上西安交通大学软件形式化方法论文题目 软件体系结构的形式化描述与分析 学 院 软件学院 班 级 硕4098班 学 号 学生姓名 冯伯阳 指导老师 侯迪 完成时间 2015.9.8 一 软件体系结构定义在这个计算机技术高速发展的时代，人们对计算机的需求也愈发迫切，需要更多的软件来实现种种功能，对软件的集合与加工也更加重要。因此，作为从软件设计抽象出来的一门新兴学科，软件体系结构已经成为软件工程一个重要研究领域。所谓的软件体系结构，是指一种数据与构件的集合。事实上，随着软件系统规模与复杂性的不断提升，软件系统对于全局结构的摄于与规范开始受到重视，甚至慢慢比算法的选择乃至数据结构的设计更加重要。这种全局结构的设计与规划，就是软件体系