软件体系结构求精研究

摘要：

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

关键词：软件体系结构、求精、模型检测

所属期刊栏目：18

分类号：TP311(计算技术、计算机技术)

资助基金：国家自然科学基金资助项目60773110;湖南省教育厅优秀青年项目0613023;湖南省学位与研究生研究课题061328;湖南工业大学博士基金

在线出版日期：2008-11-18（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：79-82