The Transformation between Formal and Visual Software Model
软件形式化与可视化软件模型的转换

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.