%0 Journal Article %T 一种实现程序结构化转换的交互式图形工具* %A 龚洁 %J - %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/jos/ch/reader/view_abstract.aspx?file_no=1996s124&flag=1