增量式软件产品线关键技术研究
| 致谢 | 第1-6页 |
| 摘要 | 第6-8页 |
| Abstract | 第8-16页 |
| 第1章 绪论 | 第16-29页 |
| ·研究背景和意义 | 第16-18页 |
| ·相关研究现状 | 第18-26页 |
| ·本文主要工作 | 第26-27页 |
| ·本文的组织结构 | 第27-29页 |
| 第2章 增量式软件产品线 | 第29-51页 |
| ·软件产品线 | 第29-41页 |
| ·软件复用 | 第29-32页 |
| ·软件产品线 | 第32-41页 |
| ·增量式软件产品线 | 第41-50页 |
| ·从集成式到增量式 | 第41-43页 |
| ·增量组合 | 第43-50页 |
| ·本章小结 | 第50-51页 |
| 第3章 特征模型形式化语义与规约研究 | 第51-66页 |
| ·引言 | 第51-52页 |
| ·相关研究 | 第52-53页 |
| ·基本概念 | 第53-55页 |
| ·特征模型 | 第53-54页 |
| ·Alloy语言 | 第54-55页 |
| ·特征模型形式化语义 | 第55-57页 |
| ·特征模型Alloy规约 | 第57-61页 |
| ·结构句法 | 第57-59页 |
| ·结构语义 | 第59页 |
| ·产品语义 | 第59-61页 |
| ·基于Alloy规约的特征模型分析与检查 | 第61-65页 |
| ·实例 | 第61-62页 |
| ·特征模型分析与检查 | 第62-65页 |
| ·本章小结 | 第65-66页 |
| 第4章 面向特征增量的产品线分析方法 | 第66-80页 |
| ·引言 | 第66-67页 |
| ·相关研究 | 第67-68页 |
| ·基本概念 | 第68-69页 |
| ·特征和特征依赖 | 第68页 |
| ·软件体系结构 | 第68-69页 |
| ·特征增量 | 第69-74页 |
| ·特征增量概念的提出 | 第69-71页 |
| ·特征增量 | 第71-74页 |
| ·依赖关系与组合原则 | 第74-75页 |
| ·特征增量的依赖关系 | 第74-75页 |
| ·特征增量的组合原则 | 第75页 |
| ·面向特征增量的分析过程 | 第75-79页 |
| ·本章小结 | 第79-80页 |
| 第5章 增量式产品线体系结构研究 | 第80-96页 |
| ·引言 | 第80-81页 |
| ·相关研究 | 第81-82页 |
| ·增量式产品线体系结构 | 第82-83页 |
| ·产品线体系结构的范畴论语义 | 第83-90页 |
| ·范畴论 | 第83-85页 |
| ·增量式产品线体系结构的范畴论语义 | 第85-90页 |
| ·基于角色的派生方式 | 第90-92页 |
| ·实例 | 第92-95页 |
| ·本章小结 | 第95-96页 |
| 第6章 软件产品线工件增量式求精研究 | 第96-110页 |
| ·引言 | 第96-97页 |
| ·相关研究 | 第97-98页 |
| ·基本思想 | 第98-100页 |
| ·增量式的工件求精 | 第98-99页 |
| ·产生式求精过程 | 第99页 |
| ·层次可跟踪性 | 第99-100页 |
| ·工件求精与工件切片 | 第100-103页 |
| ·工件求精实例 | 第100-102页 |
| ·工件切片 | 第102-103页 |
| ·工件增量式求精模型 | 第103-107页 |
| ·定位 | 第103-104页 |
| ·基本求精操作 | 第104-105页 |
| ·求精规则 | 第105-106页 |
| ·工件元模型 | 第106-107页 |
| ·配置模板 | 第107页 |
| ·产生式工件求精过程 | 第107-109页 |
| ·工件求精流程 | 第107-108页 |
| ·工件组合与产品 | 第108-109页 |
| ·本章小结 | 第109-110页 |
| 第7章 产品线协同支撑平台设计与原型 | 第110-120页 |
| ·引言 | 第110-111页 |
| ·产品线开发活动模型分析 | 第111页 |
| ·CASDE支撑平台 | 第111-113页 |
| ·关键元素 | 第111-112页 |
| ·CASDE平台体系结构 | 第112-113页 |
| ·对协同产品线开发的支持 | 第113-117页 |
| ·协调层 | 第113-115页 |
| ·协作层 | 第115-116页 |
| ·共建层 | 第116-117页 |
| ·产品线协同开发工具集原型设计 | 第117-119页 |
| ·需求建模工具 | 第118页 |
| ·体系结构设计工具 | 第118页 |
| ·工件求精管理工具 | 第118页 |
| ·产品配置管理工具 | 第118-119页 |
| ·本章小结 | 第119-120页 |
| 第8章 结束语 | 第120-123页 |
| ·论文工作总结 | 第120-121页 |
| ·进一步研究工作 | 第121-122页 |
| ·展望 | 第122-123页 |
| 参考文献 | 第123-132页 |
| 攻读博士学位期间主要的研究成果 | 第132-133页 |
| 作者简历 | 第133页 |
