Author describes the modified framework and supporting tools for developing function limited software systems based its former study. Firstly the modified framework is shown with last problems of target domains for software development. Arranging the concept of module coupling is also described in the framework. Secondly the refinement of the supporting system including the specification repository and two supporting tools is proposed. A specific example of a development environment is described for considering about the refinement.