基于SOFL形式化语言的软件组件的设计与实现

摘要	第4-5页
Abstract	第5页
1 绪论	第8-12页
1.1 研究背景与意义	第8-9页
1.2 国内外研究概况	第9-10页
1.3 主要研究内容	第10-12页
2 关键技术研究	第12-19页
2.1 形式化工程方法	第12-14页
2.2 结构化面向对象形式语言SOFL	第14-16页
2.3 SOFL形式化语言语义	第16-18页
2.4 本章小结	第18-19页
3 SOFL软件组件的分析与设计	第19-32页
3.1 SOFL软件组件的需求分析	第19-21页
3.2 SOFL软件组件的总体设计	第21-26页
3.3 SOFL软件组件中组件类的设计	第26-29页
3.4 关键信息处理方法的设计	第29-31页
3.5 本章小结	第31-32页
4 SOFL软件组件的实现与测试	第32-50页
4.1 开发环境的选择	第32-34页
4.2 SOFL软件组件框架实现	第34-35页
4.3 SOFL软件组件中组件类的实现	第35-42页
4.4 关键信息处理方法的实现	第42-45页
4.5 SOFL软件组件测试	第45-49页
4.6 本章小结	第49-50页
5 总结与展望	第50-52页
5.1 全文总结	第50页
5.2 展望	第50-52页
致谢	第52-53页
参考文献	第53-56页