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.
茨城工業高等専門学校研究彙報 = Research reports of Ibaraki National College of Technology / 茨城工業高等専門学校 編 (48), 31-34, 2013-03
Ibaraki National College of Technology