ATC系统软件过程模型研究

第一章 绪言	第1-14页
·系统研制的背景	第7-8页
·软件过程模型研究的意义	第8页
·软件过程模型的现状和发展	第8-12页
·软件过程模型的现状	第8-10页
·现存过程模型的问题	第10-11页
·软件过程模型的发展	第11-12页
·作者参与的工作	第12-14页
第二章 软件过程模型理论	第14-25页
·软件过程模型概念	第14-16页
·软件过程	第14页
·软件过程模型	第14-15页
·软件工程环境	第15-16页
·软件过程模型组成	第16-17页
·现有软件过程模型及其优缺点	第17-19页
·软件过程的评估与改进	第19-25页
·标准过程	第20-22页
·评估方法的定义	第22-25页
第三章 实时系统的过程模型	第25-42页
·实时系统介绍	第25-26页
·实时系统的过程模型语言	第26-32页
·过程模型语言的要求及分类	第26-27页
·过程模型语言选择	第27-28页
·统一建模语言UML	第28-30页
·UML 的扩展机制	第30-32页
·实时软件过程模型	第32-38页
·实时软件的过程管理	第32-33页
·实时系统的过程模型建立	第33-38页
·实时系统过程模型的形式化	第38-40页
·实时软件过程模型的度量	第40-42页
第4章 实时过程模型的在ATC 系统中的实现	第42-62页
·ATC 系统中的过程元素	第42-43页
·ATC 系统过程的模块化	第43页
·过程的裁剪	第43-48页
·ATC 系统过程的裁剪	第44-47页
·裁剪的形式化描述	第47-48页
·ATC 测试模块的建模	第48-62页
·ATC 系统测试过程	第48-50页
·ATC 系统测试的层次	第50-51页
·ATC 系统测试设计	第51-53页
·ATC 系统测试过程模型	第53-62页
第五章 总结	第62-64页
·本文总结	第62-63页
·进一步工作	第63-64页
科研及论文发表情况	第64-65页
致 谢	第65-66页
参考文献	第66-68页
声明	第68页