| 软件形式化与可视化软件模型的转换 |
| |
| 引用本文： | 周彦晖,张为群.软件形式化与可视化软件模型的转换[J].计算机科学,2003,30(7):106-109. |
| |
| 作者姓名： | 周彦晖 张为群 |
| |
| 作者单位： | 西南师范大学计算机与信息科学学院,重庆,400715 |
| |
| 基金项目： | 教育部和重庆市“软件工程可视形式化”项目 |
| |
| 摘 要： | 1.前言现有的面向对象的可视化方法和形式化方法都具有各自的优点,UML是可以完全可视化的图形语言,使用简单,能够很好地体现面向对象软件开发的特点。现在已经有很多面向对象的软件CASE工具都支持UML,其中包括Rational公司的Rational Rose系列,微软公司的Visio,北大青鸟CASE工具,Visual UML等。这些工具支持基于UML的软件开发过程模型RUP(Rational Unify Process)下工作,能够很方便地使用UML建立软件模型,根据软件模型可以自动
|
| 关 键 词： | 面向对象 软件开发 软件形式化 可视化软件模型 |
The Transformation between Formal and Visual Software Model |
| |
| ZHOU Yan-Hui ZHANG Wei-Qun.The Transformation between Formal and Visual Software Model[J].Computer Science,2003,30(7):106-109. |
| |
| Authors: | ZHOU Yan-Hui ZHANG Wei-Qun |
| |
| Abstract: | It is an important issue in Software Engineering that combined the formal development method with the visual development method. This study is about the transform method and rules between the UML model and the RAISE model. At last try to put this technology and the common software develop process together. |
| |
| Keywords: | Formalize Visualize UML RAISE Model transformation |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
点击此处可从《计算机科学》下载全文 |
