The Transform between Fomal and Visual Software Model
形式化与可视化结合的FDOOM软件开发方法

It is an important issue in Software Engineering that combines the formal development method with the visual development method. This study is based on the transform method and rules between the UML model and the RAISE model .We developes a new software development Method FDOOM (Formal Development based on Object Oriented Modeling) that combine the UML with the RAISE together. And there is a demo in the end.