ABSTRACT It is beneficial to apply functional refinement in Object-Oriented (OO) software development. This paper proposes a method that enhances our earlier method to complement existing OO methods for realizing uses-cases through functional refinement. With the use of an augmented data flow diagram (DFD), called DFD+, the proposed method bridges functional refinement and OO decomposition systematically and precisely. In the requirements analysis stage, the method realizes use-cases through functional refinement and specifies them in DFD+s. In the design and implementation stages, it transforms the DFD+s systematically and precisely into OO design and implementation. It is seamless to realize more complex use-cases using the proposed method and the remaining using any existing 00 methods. The method is amenable to automation and a prototype has been developed to support the transformation process. We have also validated the method through case studies.
