Date Added: Oct 2011
This paper investigates the advantages and limitations of various modeling methods. Despite of their advantages, due to some limitations of each modeling method, using only one of them as the sole approach will not ensure high quality software. This paper proposes a new feasible approach to improve the software development process by integrating semi-formal and formal modeling methods. In this approach, software is initially modeled using the formal specification language Object-Z. The formal models, produced by Object-Z, are formally refined to ensure correctness. Then, software behavior is extracted and visualized in specific intervals using UML.