|
|||||
|
|
| 形式化B方法到UML类图的转化研究及应用 | |
| 引用本文： | 邹盛荣,郭忠伟,彭昱静,周塔,顾爱华,卫丽.形式化B方法到UML类图的转化研究及应用[J].计算机时代,2009(3). |
| 作者姓名： | 邹盛荣 郭忠伟 彭昱静 周塔 顾爱华 卫丽 |
| 作者单位： | 扬州大学信息工程学院,江苏,扬州,225009 |
| 基金项目： | 江苏省自然科学基金，扬州大学自然科学基金 |
| 摘 要： | 形式化B方法是建立在严格数学基础上的软件开发方法,它用抽象机器符号来描述软件的规格说明;UML是面向对象的建模技术。文章提出一种将B的实现转换成UML类图的机制,从而以期实现B方法到面向对象编程的无缝连接,并结合免疫系统给出了应用实例。 |
| 关 键 词： | 形式化方法 B方法 UML 类图 免疫系统 |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ | |