1. 1. 毕业设计（论文）的内容、要求、设计方案、规划等
1.前言：详细了解软件模型阶段相关验证技术的背景及国内外相关研究的最新发展趋势，并针对基于UML顺序图模型的系统规验证总结重点、难点及创新点；2.方案拟订：通过学习模型检验相关关键技术选择合适的开发技术和运行环境，并初步搭建设计开发环境。熟练掌握JAVA语言、XML语言，熟练使用Eclipse平台的使用。3.实验数据的采集与处理：设计相关的功能模块，完成软件内部代码；准确实现软件编码，完成既定的功能，各部分测试通过；在设计过程中，提取并保存各阶段的进展报告及文档。4.结论与分析：在所学知识理论的指导下，给出合理的结论，书写格式规范，按要求提供电子及纸质文件。5.撰写要求：要求结构严谨，条理清晰，逻辑性强，书写格式规范，并制作答辩相关材料。
时间进度安排：
1.详细了解基于UML顺序图的模型验证技术背景及国内外相关研究的最新发展趋势，并针对该系统的特点总结项目的重点、难点及创新点。时间约2-4周；本阶段要求输出文档为：开题报告及相对应的文献综述（含参考文献）；2.通过学习与该系统相关的编程语言选择合适的编写语言及开发环境，并初步搭建设计开发及测试环境。时间约1-2周；本阶段要求输出文档为：设计开发计划及技术方案（含参考文献）；3.设计合理的程序构架，完成软件内部代码；准确实现软件编码，完成既定的功能，各部分测试通过；在设计过程中，提取并保存各阶段的数据及文档；时间约4-8周；本阶段要求输出文档为：项目开发源代码及代码文档；4.撰写毕业设计论文：要求结构严谨，条理清晰，逻辑性强，书写格式规范，按要求提供电子及纸质文件，并制作答辩相关材料；时间约2-4周。
2. 参考文献（不低于12篇）
[1]陈国君,陈磊，陈锡祯，刘洋 等. Java2程序设计基础[M]. 北京:清华大学出版社, 2006.
[2]李诚等. Java2简明教程（第二版）[M]. 北京:清华大学出版社, 2005.
以上是毕业论文任务书，课题毕业论文、开题报告、外文翻译、程序设计、图纸设计等资料可联系客服协助查找。
