%0 Journal Article
%T 一种实现程序结构化转换的交互式图形工具*
%A 龚洁？
%J 软件学报
%P 170-177
%D 1996
%X 本文介绍交互式图形工具xyz/bese，它能将任意时序逻辑语言xyz/e的子语言xyz/be表示的程序转换成结构化程序．如以xyz/be作为中间语言，并将这工具与xyz与系统中源语言转换系统xyz/ccss结合起来，即可将任意其它源语盲的程序转换成为结构化程序．本系统是用xyz/e的交互式图形设计工具xyz/cfc实现的。结构化转换过程用图形表示，可增加其直观性，使这变换易于理解．
%K 结构化高级语言
%K 结祷化程序转换
%K 图形设计工具
%K 时序逻辑语言．
%U http://www.jos.org.cn/ch/reader/view_abstract.aspx?file_no=1996s124&flag=1