B方法和构件技术在信息系统形式化开发中的应用研究
| 摘要 | 第1-4页 |
| Abstract | 第4-7页 |
| 1 绪论 | 第7-19页 |
| ·课题来源和背景 | 第7-8页 |
| ·课题的研究意义 | 第8-11页 |
| ·信息化发展的需要 | 第8-9页 |
| ·信息系统的重要作用 | 第9页 |
| ·信息系统建设中存在的问题 | 第9-11页 |
| ·信息系统需要形式化开发 | 第11页 |
| ·国内外研究现状 | 第11-19页 |
| ·软件开发模型 | 第11-13页 |
| ·软件开发方法 | 第13-15页 |
| ·构件技术的发展 | 第15-16页 |
| ·信息系统的发展 | 第16-17页 |
| ·形式化研究的现状 | 第17-19页 |
| 2 信息系统形式化方法研究 | 第19-32页 |
| ·信息系统 | 第19-21页 |
| ·信息系统的逻辑模型 | 第19-20页 |
| ·信息系统项目特点 | 第20-21页 |
| ·构件技术 | 第21-26页 |
| ·构件技术基本概念 | 第21-24页 |
| ·构件技术中的关键问题 | 第24-25页 |
| ·基于构件复用的软件开发方法 | 第25-26页 |
| ·形式化方法 | 第26-32页 |
| ·常见的形式化技术 | 第26-28页 |
| ·形式化方法的分类 | 第28-29页 |
| ·形式化方法的作用 | 第29页 |
| ·形式化方法的优点 | 第29-30页 |
| ·应用形式化方法的准则 | 第30-32页 |
| 3 基于构件技术的形式化需求分析方法的研究 | 第32-47页 |
| ·需求分析方法 | 第32-33页 |
| ·软件需求分析现状 | 第32页 |
| ·需求分析在软件工程中的地位 | 第32-33页 |
| ·形式化需求分析 | 第33-47页 |
| ·形式化需求分析方法 | 第33-34页 |
| ·技术关键及解决的途径 | 第34-36页 |
| ·其他技术 | 第36-41页 |
| ·应用示例 | 第41-47页 |
| 4 B 方法和构件技术在软件开发中的应用研究 | 第47-57页 |
| ·构件技术与 B 方法 | 第47-50页 |
| ·XML 与XSLT | 第50-52页 |
| ·B 方法在形式化开发中的应用研究 | 第52-53页 |
| ·应用示例 | 第53-57页 |
| 5 总结与展望 | 第57-59页 |
| ·课题总结 | 第57页 |
| ·课题展望 | 第57-59页 |
| 致谢 | 第59-60页 |
| 参考文献 | 第60-62页 |
| 附录 | 第62页 |
