| <中文摘要> | 第1页 |
| <关键词> | 第3-4页 |
| <英文摘要> | 第4-5页 |
| <英文关键词> | 第5-8页 |
| 引言 | 第8-10页 |
| 本文的组织 | 第9-10页 |
| 第一章 XYZ系统概述 | 第10-16页 |
| ·时序逻辑语言XYZ／E | 第10-14页 |
| ·CASE工具 | 第14-16页 |
| 第二章 软件体系结构及其描述语言 | 第16-20页 |
| ·基本概念 | 第16-17页 |
| ·体系结构描述语言ADL | 第17-20页 |
| 第三章 基于XYZ／E的体系结构描述 | 第20-26页 |
| ·用XYZ/E描述常见组件 | 第20-21页 |
| ·用XYZ/E描述常见连接件 | 第21-22页 |
| ·用XYZ/E描述体系结构风格 | 第22-26页 |
| 第四章 基于组件的由静态语义向动态语义逐步过渡的程序设计方法 | 第26-31页 |
| ·基本概念 | 第26-27页 |
| ·软件体系结构求精方法 | 第27-29页 |
| ·体系结构设计过程 | 第29-31页 |
| 第五章 蒸汽锅炉控制问题的描述 | 第31-52页 |
| ·问题的非形式化描述 | 第31-33页 |
| ·解决蒸汽锅炉控制问题的程序设计过程 | 第33-52页 |
| 结束语 | 第52-53页 |
| 致谢 | 第53-54页 |
| <引文> | 第54-57页 |
| 发表文章目录 | 第57页 |