The Transformation between Formal and Visual Software Model
Zhou Yan · 2003
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.