| UML与B结合的软件开发研究与应用 |
| |
| 引用本文： | 廖青松,马光思.UML与B结合的软件开发研究与应用[J].计算机技术与发展,2007,17(6):123-126,154. |
| |
| 作者姓名： | 廖青松 马光思 |
| |
| 作者单位： | 西安建筑科技大学,信控学院,陕西,西安,710055 |
| |
| 摘 要： | B方法主要是用抽象机来描述软件系统的规范说明,且有大量工具支持。UML已广泛用于面向对象技术的建模,许多工程项目和研究成果用UML图例给出。文中将B方法与UML结合用于软件的开发过程,结合工程实际和文献资料分析了从UML的类图、时序图和状态图转换到B的抽象机的技术要点,通过实例展示了具体的转换形式。
|
| 关 键 词： | B方法 软件规格说明 抽象机 |
| 文章编号： | 1673-629X（2007）06-0123-04 |
| 收稿时间： | 2006-08-21 |
| 修稿时间： | 2006-08-21 |
Integrating UML and B for Research and Application of Software Development Method |
| |
| LIAO Qing-song,MA Guang-si.Integrating UML and B for Research and Application of Software Development Method[J].Computer Technology and Development,2007,17(6):123-126,154. |
| |
| Authors: | LIAO Qing-song MA Guang-si |
| |
| Abstract: | |
| |
| Keywords: | UML |
| 本文献已被 维普 万方数据 等数据库收录！ |
|
