refinetool:支持逐步求精的软件工具

？本文描述了一个支持用户按逐步求精方法进行程序开发的软件。具──ｒｅｆｉｎｅｔｏｏｌ。该工具软件用ｔｕｒｂｏｃ实现，其具有友好的用户界面．能支持任何过程型程序的逐步求精，保存了精化历史作为程序的注释，生成的程序具有良好的风格，