形式化与可视化结合的FDOOM软件开发方法

摘要

It is an important issue in Software Engineering that combines the formal development method with the vi-sual 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.