基于UML的形式化需求建模的研究

内容摘要	第1-6页
正文	第6-49页
第1章 引言	第6-10页
·面向对象技术与软件开发	第6-7页
·面向对象技术	第6-7页
·面向对象的软件开发	第7页
·形式化方法	第7-10页
·形式化方法特点	第7-8页
·形式化方法的发展方向	第8-10页
第2章 UML系统建模	第10-14页
·UML的特点	第10页
·UML建模	第10-14页
·UML建模的三个主要要素:	第11-13页
·UML与软件开发过程	第13-14页
第3章 RAISE	第14-24页
·RAISE的特点	第14页
·RSL(RAISE说明语言)	第14-21页
·RAISE开发方法	第21-24页
第4章 面向对象系统开发的形式化需求规范	第24-40页
·面向对象开发与形式化方法结合的目的与可行性	第24-27页
·UML系统开发存在的问题	第24-25页
·结合RAISE的UML系统建模	第25-27页
·这项研究已有的基础成果	第27-28页
·形式化的RAISE系统动态模型	第28-40页
·UML的消息	第29-30页
·UML的交互图	第30-31页
·协作图的形式化模型	第31-40页
第5章 实例系统	第40-46页
·系统初始需求	第40页
·建立系统用况模型	第40页
·定义税收系统的协作图	第40-41页
·协作图的形式化模型	第41-46页
第6章 论文成果以及下一步研究工作	第46-49页
·产生形式化需求规范的过程	第46-47页
·下一步进行的研究工作	第47-49页
致谢	第49-50页
参考资料	第50-52页