HRBNU毕业论文设计+基于软件形式化方法数据预警和的分析系统设计+陈森(原版).docVIP

学号：2010040676 哈尔滨师范大学 学士学位论文 题 目 基于软件形式化方法的 数据预警与分析系统的设计 学 生 陈 森 指导教师 林 琳 讲师 年 级 2010级 专 业 软件工程（软件项目管理） 系 别 软件工程 学 院 软件学院 哈 尔 滨 师 范 大 学 学士学位论文开题报告 论文题目 基于软件形式化方法的 数据预警与分析系统的设计 学生姓名 陈森 指导教师 林琳 讲师 年 级 2010级 专 业 软件工程（软件项目管理） 2013年3月1日 课题来源： 实习企业单位根据哈尔滨师范大学软件学院本科毕业论文教学要求以及本人意愿分配毕业论文题目。实习单位结合学院意见和学生自己的兴趣爱好以及所学专业情况，要求充分发挥学生的主观能动性和学习能力，同时结合当前校企合作的实际情况，给出的毕业论文题目。 此论文题目的完成需要充分发挥我们在校期间所学的知识和技能，在校期间是一个学习理论知识的好时期，而企业是实践所学专业技能的好机会，在这样的实际情况下，利用此毕业论文设计可以很好地做出总结。在完成毕业论文的过程中，进一步体会软件项目设计的流程，并从中发现