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

摘要	第1-4页
Anstract	第4-6页
目录	第6-10页
第一章 绪论	第10-20页
·论文提出的背景	第10-15页
·目前国内外的研究现状	第15-18页
·研究目的及意义	第18-20页
第二章 软件体系结构	第20-37页
·什么是软件体系结构	第20-23页
·软件体系结构属性	第23-24页
·软件体系结构的构建模式	第24-37页
·模式的起源	第25页
·模式的目的	第25页
·模式的构成	第25-26页
·模式的分类	第26-35页
·模式问的关系	第35-36页
·模式的描述	第36页
·模式、模式系统、软件体系结构	第36-37页
第三章 软件体系结构的形式化描述	第37-42页
·形式化方法	第37-39页
·形式化方法定义	第37页
·形式化方法有分类	第37-38页
·目前形式化方法存在的问题	第38-39页
·形式化规格说明语言	第39-42页
·规格说明语言的语义基础	第39-40页
·规格说明语言简介	第40-42页
第四章 实例	第42-46页
·系级排课算法	第42-44页
·微软的媒体播放器	第44-46页
结论	第46-47页
参考文献	第47-50页
独创性声明	第50-51页
致谢	第51页