|
|||||
|
|
| 一种基于B方法和构件技术的形式化开发方法 | |
| 引用本文： | 唐宇.一种基于B方法和构件技术的形式化开发方法[J].井冈山大学学报（自然科学版）,2008(4):21-23. |
| 作者姓名： | 唐宇 |
| 作者单位： | 泰州师范高等专科学校 |
| 摘 要： | 构件技术和形式化方法是解决软件危机和提高软件开发效率问题的关键。在分析了构件技术、B方法、XML和XSLT后,本文提出了一种基于B方法和构件技术进行形式化开发的方法,并示例说明。 |
| 关 键 词： | B方法 构件技术 形式化开发方法 |
| 本文献已被 维普 等数据库收录！ | |