| 摘要 | 第1-6页 |
| Abstract | 第6-9页 |
| 插图索引 | 第9-11页 |
| 附表索引 | 第11-12页 |
| 第1章 绪论 | 第12-16页 |
| ·研究背景 | 第12-13页 |
| ·研究目的和研究意义 | 第13页 |
| ·国内外研究现状及发展趋势 | 第13-14页 |
| ·研究内容和研究思路 | 第14-16页 |
| 第2章 高等院校教务管理系统的开发平台与关键技术 | 第16-28页 |
| ·面向对象和 UML | 第16-21页 |
| ·面向对象设计方法 | 第16-17页 |
| ·UML 概述 | 第17-19页 |
| ·UML 模型验证 | 第19-21页 |
| ·NET 平台开发技术 | 第21-25页 |
| ·C#开发语言 | 第22页 |
| ·WCF 技术 | 第22-24页 |
| ·SQL Server 2008 和 LINQ 技术 | 第24-25页 |
| ·C/S 和 B/S 架构比较 | 第25-27页 |
| ·本章小结 | 第27-28页 |
| 第3章 基于 UML 的高等院校教务管理系统的模型构建及验证 | 第28-43页 |
| ·教务管理系统的需求分析 | 第28-32页 |
| ·教务管理系统的可行性分析 | 第29页 |
| ·教务管理系统的目标分析 | 第29-30页 |
| ·教务管理系统的业务需求分析 | 第30-32页 |
| ·教务管理系统的模型构建 | 第32-36页 |
| ·教务管理系统的用例建模 | 第32-35页 |
| ·教务管理系统的顺序图建模 | 第35-36页 |
| ·教务管理系统的部署建模 | 第36页 |
| ·教务管理系统的模型验证 | 第36-42页 |
| ·模型验证工具 UPPAAL | 第36-38页 |
| ·教务管理系统的模型验证研究 | 第38-42页 |
| ·本章小结 | 第42-43页 |
| 第4章 高等院校教务管理系统的体系结构设计和模块实现 | 第43-63页 |
| ·系统体系结构和技术路线 | 第43-46页 |
| ·软件体系结构设计 | 第43-44页 |
| ·硬件体系结构设计 | 第44-45页 |
| ·教务管理系统技术路线 | 第45-46页 |
| ·系统模块的实现 | 第46-61页 |
| ·登陆界面实现 | 第46-47页 |
| ·班级管理模块的实现 | 第47-50页 |
| ·学生管理模块的实现 | 第50-53页 |
| ·查询统计模块的实现 | 第53-56页 |
| ·系统管理模块的实现 | 第56-59页 |
| ·数据管理模块的实现 | 第59-61页 |
| ·系统测试和效果分析 | 第61-62页 |
| ·本章小结 | 第62-63页 |
| 结论 | 第63-64页 |
| 参考文献 | 第64-67页 |
| 致谢 | 第67页 |
