论文部分内容阅读
为了保证软件质量，提高软件可靠性、可重用性和可维护性，软件体系结构这一概念自提出以来就得到广泛关注，成为软件工程的一项重要研究领域。软件体系结构求精作为体系结构从抽象到具体的形式化方法，连接了体系结构分析到具体实现之间的鸿沟，从而有效地保证了软件体系结构的层次性和可跟踪性。良好的软件体系结构求精方法使得软件开发自动化．加速软件产品的交付过程，降低软件成本，以及提高软件质量。针对体系结构求精研究的主要内容，较系统地阐述了几种体系结构求精分类方法，并对求精检测的相关内容作了介绍，最后是对体系结构求精以后工作的