摘要
本文描述了一个支持用户按逐步求精方法进行程序开发的软件。具──Refinetool。该工具软件用TurboC实现,其具有友好的用户界面.能支持任何过程型程序的逐步求精,保存了精化历史作为程序的注释,生成的程序具有良好的风格,
This paper decribes a software tool, which supportes user to developeprogram using stepwise refinement method--Refinetool. This tool has been implemented in Turbo C. It has friendly user interface, can support any stepwise refinement of prodcedure--oriented program, saves refining histories as program comments' developed program has well style.