| 基于B方法的组件开发 |
| |
| 引用本文： | 高丽萍,褚伟.基于B方法的组件开发[J].计算机技术与发展,2007,17(7):28-30,34. |
| |
| 作者姓名： | 高丽萍 褚伟 |
| |
| 作者单位： | 1. 合肥工业大学,计算机与信息学院,安徽,合肥,230009
2. 合肥工业大学,网络研究所,安徽,合肥,230009 |
| |
| 摘 要： | 现有的组件开发技术的规格说明是非形式化的，这导致了逻辑的非严密性和理解的歧义性，将会严重影响组件复用的效率。B方法是形式化方法之一，已经有功能强大的工具支持软件的形式化开发过程，它通过严格的数学推导和证明来保证软件设计和代码的正确性。为此，将B方法应用于学生信息管理系统的开发，提供了学生组件从需求规格说明、精化到最终实现的开发过程。通过对这一实例的研究可以看出，B方法增强了组件的规范性，对于提高组件复用的可靠性有重大的意义。
|
| 关 键 词： | 形式化方法 B方法 组件 |
| 文章编号： | 1673-629X（2007）07-0028-03 |
| 收稿时间： | 2006-09-27 |
| 修稿时间： | 2006-09-27 |
An Approach of Component Development with B Method |
| |
| GAO Li-ping,CHU Wei.An Approach of Component Development with B Method[J].Computer Technology and Development,2007,17(7):28-30,34. |
| |
| Authors: | GAO Li-ping CHU Wei |
| |
| Affiliation: | 1. School of Computer and Information, Hefei University of Technology, Hefei 230009, China; 2. Institute of Network, Hefei University of Technology, Hefei 230009, China |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 维普 万方数据 等数据库收录！ |
|
