基于CSP的软件演化过程描述及研究

摘要	第1-4页
Abstract	第4-8页
第一章 绪论	第8-14页
·研究背景简介	第8-9页
·国内外研究现状	第9-12页
·论文选题及主要工作	第12页
·论文的创新和研究意义	第12-13页
·论文的结构	第13-14页
第二章 软件演化过程和通信顺序进程简介	第14-28页
·软件演化过程元模型	第14-18页
·软件演化	第14页
·软件过程	第14-15页
·过程模型	第15-16页
·演化过程的描述工具	第16页
·软件演化过程元模型	第16-18页
·进程及其表示	第18-28页
·进程的基本表示法	第19页
·进程的递归方程表示法	第19-20页
·进程的选择表达式	第20-22页
·事件迹及其操作	第22-24页
·进程的符合操作	第24-28页
第三章 软件演化过程元模型的CSP 建模	第28-52页
·任务进程的构建	第28-32页
·活动进程的构建	第32-39页
·演化进程的构建	第39-43页
·全局进程的构建	第43-52页
第四章 软件演化过程元模型的CSP 语义描述	第52-58页
·CSP 语言的语义简介	第52-54页
·CSP 对任务进程的语义描述	第54-55页
·CSP 对活动进程的语义描述	第55页
·CSP 对演化进程的语义描述	第55-56页
·CSP 对全局进程的语义描述	第56-58页
第五章 总结与展望	第58-60页
·工作总结	第58页
·工作展望	第58-60页
参考文献	第60-63页
致谢	第63页