首页--工业技术论文--自动化技术、计算机技术论文--计算技术、计算机技术论文--计算机软件论文--程序设计、软件工程论文--软件工程论文

软件产品线关键技术研究--形式化的产品线体系结构技术

摘要第1-5页
ABSTRACT第5-10页
第一章 绪论第10-15页
   ·研究背景及意义第10-11页
   ·国内外研究现状第11-13页
   ·主要研究内容第13-14页
   ·本文的组织第14-15页
第二章 软件产品线技术第15-31页
   ·软件产品线概述第15-17页
     ·软件产品线定义第15-16页
     ·产品线过程模型第16-17页
   ·软件产品线方法第17-20页
     ·软件产品线工程第17-18页
     ·PuLSE第18-19页
     ·KobrA第19页
     ·FAST第19-20页
   ·产品线变化性第20-26页
     ·变化性基本概念第21页
     ·变化性建模方法第21-24页
     ·变化性实现第24-26页
   ·产品线体系结构第26-30页
     ·产品线体系结构概述第26-27页
     ·层次体系结构第27-28页
     ·基于协作开发第28-30页
   ·本章小结第30-31页
第三章 产品线体系结构描述语言:vADL第31-56页
   ·引言第31-32页
   ·vADL设计目标第32-33页
   ·vADL核心框架第33-38页
     ·组件第33-35页
     ·连接件第35页
     ·实例第35-36页
     ·复合组件第36-37页
     ·配置第37-38页
   ·vADL行为语义第38-40页
     ·π演算的适合性第38-39页
     ·vADL行为语义规约第39-40页
   ·vADL类型系统第40-45页
     ·类型和类型规则第41-43页
     ·子类型与子类型规则第43-44页
     ·类型系统完备性第44-45页
   ·实例说明第45-51页
     ·规约态变化性实例第45-48页
     ·运行态变化性实例第48-51页
   ·相关研究第51-55页
     ·传统体系结构描述语言第51-52页
     ·产品线体系结构描述语言第52-55页
   ·本章小结第55-56页
第四章 产品线体系结构设计第56-83页
   ·引言第56页
   ·产品线体系结构组装第56-72页
     ·结构组装第57-58页
     ·端口组装第58-61页
     ·变化性组装第61-66页
     ·行为组装推导第66-72页
   ·产品线体系结构精化第72-82页
     ·体系结构精化方法第72-73页
     ·扩展的基于组件的精化方法第73-75页
     ·变化性精化第75-77页
     ·行为语义精化第77-82页
   ·本章小结第82-83页
第五章 产品线体系结构分析第83-99页
   ·引言第83页
   ·行为语义分析第83-90页
     ·组件端口行为规约一致性分析第84-85页
     ·组件行为规约正确性分析第85-86页
     ·连接件行为规约正确性分析第86-88页
     ·端口角色连接一致性分析第88页
     ·组件可替换性分析第88-90页
   ·变化性分析第90-91页
   ·产品线体系结构度量第91-97页
     ·产品线体系结构相似性度量第92页
     ·产品线体系结构变化性度量第92-94页
     ·产品线体系结构复用性度量第94-95页
     ·产品线体系结构复杂性度量第95-97页
   ·相关研究第97-98页
   ·本章小结第98-99页
第六章 产品线体系结构集成开发环境原型PLArchStudio第99-117页
   ·PLArchStudio总体结构第99-100页
   ·PLArchStudio客户端第100-103页
     ·PLA Web浏览器第100-101页
     ·PLA设计器第101页
     ·PLA工具集第101-103页
   ·PLArchStudio协同设计第103-113页
     ·协同工作室功能结构第103-104页
     ·并发编辑冲突检测技术第104-112页
     ·并发冲突检测引擎第112-113页
   ·PLArchStudio管理层设计第113-116页
     ·产品线体系结构模型管理问题第113-114页
     ·PLArchStudio管理层功能设计第114-116页
   ·本章小结第116-117页
第七章 总结与展望第117-119页
   ·主要研究成果第117-118页
   ·进一步研究工作第118-119页
参考文献第119-126页
致谢第126-127页
攻读博士学位期间论文发表情况第127-129页

论文共129页,点击 下载论文
上一篇:广州话词语在《南方都市报》标题中的使用研究
下一篇:基于WDM的交流伺服电机运动控制器的开发与研究